The project side bar has been re-arranged to improve usability.
analysis-entry=function-name, respectively. The configured wrapper-and-stubs file appears at the beginning of the preprocessed files list.
The new Project Summary area provides more information than before, listing the totals for:
The traffic lights are now displayed horizontally to better accomodate the more detailed Summary.
The new inter-procedural program slicer computes a reduced version of the analyzed code that contains all statements on which the value of a certain variable at a certain program point depends.
The program point and variable to slice for are selected by invoking “Slice from here” from the context menu in the editor view.
The computed program slice can then be investigated in Astrée or stored as a C source file.