New Features

CodeCheck Checks

  • Add new check MISRA12_1.3: There shall be no occurrence of undefined or critical unspecified behavior
  • Add new check MISRA12_DIR_4.11: The validity of values passed to library functions shall be checked
  • Add new check MISRA12_18.1: A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand
  • Added new checks for Ada Statements [autosync]

Editor

  • Unfold folded lines when visiting references
  • Split "Fold/Unfold All" toggle action into two separate actions
  • Move closing braces to the next line when doing auto-indent on newline
  • Add tentative auto-indent for blank lines
  • Add automatic matching brace insertion

Language - Fortran

  • Added support for FAIL IMAGE statement.
  • Added support for EVENT POST and EVENT WAIT statements.
  • Added support for locality-specs on DO CONCURRENT statements.
  • Added support for Fortran 2018 FORM TEAM and CHANGE TEAM statements.

Language - C/C++

  • Add "use implicit" and "assign" references to struct members referenced during structured binding decomposition
  • Add C++ Accessed By IB field for global objects (previously shown in Called By) with improved reference annotations in Simple mode


Bug Fixes

CodeCheck Checks

  • Fix: false positives in MISRA12_14.4 for preprocessor #if directives
  • Fix: false positives in MISRA12_14.2 for pure-function bounds, object-initialized counters, and assignment increments
  • Fix: False positives in MISRA12_13.1 for array element assignments
  • Fix: false positives in MISRA12_11.4 for address-of and subscripted pointers, and corrected category to Advisory
  • Fix: false positives in MISRA12_10.8 for casts of non-composite operands
  • Fix: false positive in MISRA12_10.6 from string vs integer size comparison
  • Fix: false positive in MISRA08_12-1-1 (helper with virtuals on unrelated objects)
  • Fix: bug causing false positive in MISRA08_12-1-1 causing incorrect file context
  • Fix: false positive in MISRA12_17.3 for fortified libarary functions and compiler builtins
  • Fix: false positive in MISRA08_12-1-1 (indirect-call path)
  • Fix false negative in MISRA23_10.1 for parenthesised operands

Command Line (und)

  • Fix spurious warning about -verbose being an unused argument.

Editor

  • Fix revert to default language setting on document reload

Metrics

  • Fix typo in Paths metric description.


Known Issues

  • AI generation may incorrectly state it has been disabled due to insufficient specs
  • Some macros aren't defined when importing VS 2022 SLN and VCXPROJ
  • Print Preview may not function correctly