AbsInt Videocast for Release 23.10: Astrée and RuleChecker
Discover the latest innovations in the 23.10 release of Astrée and RuleChecker, AbsInt's static code analyzers for C and C++.
00:00 Overview
01:22 Improved call graph view
02:40 New project wizard with JSON compilation database importer
03:54 New data race report
05:03 TLS encryption between Astrée servers, clients, and the License Manager
06:02 External user authentication via OpenID Connect (OIDC)
06:49 Additional tooltips for value ranges of all subexpressions
07:27 Dynamic memory blocks now shown in the Data Flow view
08:32 Rule checks for compliance with MISRA C:2023
09:05 Delta analysis now available for comments
11:06 C++ improvements for std::vector and std::string
Read the complete release notes over at:
https://www.absint.com/releasenotes/a...
