Stack analysis now allows to compute the N worst-case stack usage paths. The extended output is available in the report file as well as in separate GDL graph files.
This feature can be found under “Configuration” → “Analyses” → “Advanced” → “Number of worst case stack usage paths to compute”.
aiT now allows to define an expected result for the WCET analysis. The computed result is checked against the expected result, and an error is issued if it does not match. You can specify an upper limit, a lower limit, or a range for the WCET which must be met. The limits can be specified in cycles or time units.
Symbols/sections and debug information are no longer loaded automatically, but only on demand.
a³ now allows to set message verbosity level, enable/disable context sensitive information, and filter individual tags.