AbsInt Videocast for Release 21.10: Astrée and RuleChecker
Discover the latest innovations in the 21.10 release of AbsInt's static code analyzers for C/C++ - Astrée and RuleChecker:
NEW:
New columns 'Weight' and 'Original Location' in findings view,
Filters can be stored and exported,
Graph view available in RuleChecker,
New graph view in Astrée,
Files can be shown in directory tree,
Enhanced and restructured identifier search,
New options to automatically filter asm code,
New partition directive,
RuleChecker supports macOS ARM64
Improved ARXML converter,
Rule sets enhanced,
and 100+ other improvements and new features:
https://www.absint.com/releasenotes/a...
