New Statistics views
The results statistics moved back from the standalone Results Viewer to the main analyzer window. The new menu entry “Statistics” appears automatically for each analysis as soon as that analysis has finished.
Non-WCET cycles in XML reports
It is now possible to trigger output of all timing information, including non-WCET cycles, to the XML report file. This is done under “Configuration” → “Analyses” → “Reporting”, via the new option “Show per context info in XML report” → “Output worst-case execution path in XML report” → “Output non-WCET cycles”.
Customizable AIS prefix
The prefix for AIS source-code annotations is now customizable under
“Configuration” →
“Analyses” →
“Common”. The default prefix remains ai.