CWE taint propagation graph
Task activation graph
Signal interference graph
Collaborative reviews of analysis findings
Improved precision
Improved analysis of C++ code
Improved performance
Transport layer security
- When upgrading your client from a release older than 23.10, make sure to upgrade your License Manager as well. This is necessary due to the TLS-encrypted connection between the client and the License Manager that was introduced in release 23.10.
Options
Directives
TargetLink
Eclipse
Jenkins
General improvements
RuleChecker
Rule sets and checks for C
Rule sets and checks for C++
Rule sets and checks specific to Astrée
Enhancements, clarifications, refinements, and fixes
Both C and C++
C code
C++ code
Server and server controller
Processes
DAX import and export
Editor view
Reached code statistics
Custom reports
Navigation shortcuts
Data flow view
Rules configuration
Other changes to the client GUI, batch mode, and report files
Fixes
Frontends and preprocessor
Stub libraries, ABIs, OS and compiler configurations
Qualification Support Kits
