Release 24.04 of Astrée and RuleChecker for C and C++
New features and improvements in the 24.04 release of Astrée and RuleChecker, AbsInt's static code analyzers for C and C++.
0:00 Intro
0:18 Overview
1:16 Ctrl + click navigation
2:09 Go-to-anywhere HUD
3:31 Swapping of stubs
4:12 Taint analysis
7:21 MISRA C++:2023
7:33 Further improvements
7:58 Outro
See the complete release notes at:
https://www.absint.com/releasenotes/a...
