After parsing a project with Astrée, the sources can be navigated using a type-sensitive search for identifiers like function definitions, function calls, variable definitions, or type declarations.
The new representation allows casts between function pointers, data pointers, and integers. Pointer information is preserved over cast operations. This also holds for function pointers.
A list of additional keywords can be specified to allow parsing code with compiler-specific extensions.
Access can be restricted to a list of valid users. This disables the anonymous-user and the automatic-user creation feature.
__ASTREE_partition_beginaccepts an optional argument that overrides the maximum number of partitions.
__ASTREE_suppressaccepts an optional argument that specifies the type of alarm to be suppressed.