Astrée release 17.10

Astrée screenshot

Findings view

The list of message contexts displayed when selecting a finding can now be searched, e.g. to find the contexts with a definite runtime error. Simply press Ctrl+F when the list of message contexts is in focus.

Astrée screenshot

Improved project bar

  • File lists can now be filtered by pressing Ctrl+F.
  • The new Information view displays general project information such as name, type, and revision.
  • The Welcome view is no longer accessible from here. It only opens on startup and can later be accessed via the Help menu.

Astrée screenshot

Function locations

The Analysis entry view and the list of function metrics under Overview/Metrics now show the code location (file name, line, and column in the preprocessed code) for each displayed function.