Release 24.10 of Astrée and RuleChecker
New features and improvements in the 24.10 release of Astrée and RuleChecker, AbsInt's static analyzers for C and C++ code.
0:00 Intro
0:35 Collaborative reviews of analysis findings
6:35 Data flow view
7:34 Process graph
9:15 Taint graph
13:44 GUI improvements
See the complete release notes at:
https://www.absint.com/releasenotes/a...
![PlayerUnknown’s Battlegrounds. Питничный стрим [1440]](https://images.videosashka.com/watch/RGqikbXTuH4)
