Astrée and RuleChecker release 22.04

Astrée screenshot
Astrée screenshot
Astrée screenshot

Revamped GUI

Revamped user interface for an improved workflow and a unified look-and-feel across all AbsInt tools.



Astrée screenshot
Astrée screenshot

New views for C++ classes

Introducing new views that show all C++ classes, class templates, and their relationships within the current analysis project.