When creating a new project, you can now pick from several option profiles to automatically set the most appropriate options accordingly:
The Setup profiles are a good choice for initial analysis runs to help you check and complete the setup. The Analysis profiles can then be used for final analysis runs, with different levels of precision.
Starting with this release, the product “Astrée for C” is replaced by the framework “a³ for C”, which contains the analyzers Astrée and RuleChecker that can now be used independently.
The standalone RuleChecker features reduced memory consumption and much faster execution. Invoking RuleChecker in conjunction with Astrée, on the other hand, has the advantage of maximizing precision on semantical rules.
Other improvements to RuleChecker in this release include:
In the source code editor, a line with more than one finding is now marked by a special icon. The number of findings is shown when hovering over it.
In the Findings view, double-clicking on the Comment column for rule violations now lets you comment on them in the original source code.
This new view displays the function calls in each process.