When creating a new project, a wizard dialog guides the user through the basic analysis settings. The wizard also provides online help for each of the configured options.
The new browser provides a better overview of the alarm distribution in the analyzed software. It enables viewing only the relevant program parts and investigating modules individually.
It is now possible to specify a list of original source files and preprocessor settings (include paths and defines). The specified files can be automatically preprocessed and analyzed by Astrée using a built-in preprocessor. The installation also includes a sample C library implementation that uses Astrée directives for stubbing frequently used functions.
In the Analysis Options views, options that differ from their defaults are highlighted in blue italics. Tooltips show the default option values.