Astrée release 15.04

Astrée screenshot

All-new Result Viewer

An improved way of exploring all findings of the analyzer. The Viewer displays a list of alarms and errors which can be easily browsed, sorted, and filtered. A single click on a finding loads all relevant information, such as the source code with tooltips and the list of all relevant contexts. Each finding can be classified and commented by the reviewer. Available classifications are:

  • true error
  • true error with high priority
  • true error with low priority
  • true error that is not considered a defect in the software under analysis
  • false alarm
  • undecided

The results of the review appear in the XML reports and summaries. It is not necessary to re-run the analysis.

Astrée screenshot

Support for MISRA-C:2012

In addition to MISRA-C:2004, the Rule Checker now supports the MISRA-C:2012 rule set.

Astrée screenshot

Automatic AAL generation

It is now possible to generate AAL annotations automatically by simply right-clicking into the code displayed in the editor and selecting “Generate Annotation” from the context menu.

After specifying a directive to insert, Astrée automatically generates the AAL specification that places the directive at the selected position in the code. The analyzed code is not modified.

Astrée screenshot

List of potential entry functions

Astrée can now generate a list of potential entry functions (periodic tasks and initialization functions) based on a pre-analysis of the source code. The list is available via the Tools menu, and is also displayed automatically if no analysis entry point was specified. Relevant tasks and initialization functions can then be selected to configure the analysis.

Collecting information about potential entry functions can be disabled via the new option list-entry-functions.