RuleChecker now features Identifier search on original source files, including C++ files.
This is now the default search mode for the operation “Find in project” in all editors.
33 additional MISRA C++:2008 rules are supported starting with this release.
Rule sets are now folded by default for a better overview in the Rules Configuration view.
- This release features improved syntax highlighting for C, C++, and the AbsInt annotation languages.
- The output of iteration phases and iterations in the analyzer log has been improved.
Time stamps have been added to track analysis progress and current memory consumption.
This is especially useful for observing the progress of long-running Astrée analyses.