New Features

Architecture Designer

  • Prevent automatic changes to entities when editing the Architecture Outline; newly created parent architectures no longer include borrowed entities.

Interactive Reports

  • Add iReport that generates table of unused functions

Und (Command Line)

  • Add -enabledoptions option to show enabled license options


New CodeCheck Checks

  • MISRA25_21.24: The random number generator functions shall not be used
  • MISRA25_11.8: A conversion shall not remove any const, volatile or _Atomic qualification from the type pointed to by a pointer
  • MISRA25_17.12: A function identifier should only be used with either a preceding &, or with a parenthesized parameter list
  • MISRA25_20.13: A line whose first token is # shall be a valid preprocessing directive
  • MISRA25_13.6: The operand of the sizeof operator shall not contain any expression which has potential side effects
  • MISRA25_21.12: The standard header file shall not be used
  • MISRA25_1.5: Obsolescent language features shall not be used
  • MISRA25_18.7: Flexible array members shall not be declared
  • MISRA25_9.1: The value of an object with automatic storage duration shall not be read before it has been set
  • MISRA25_8.14: The restrict type qualifier shall not be used
  • MISRA25_21.17: Use of string handling functions shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters
  • MISRA25_18.2: Subtraction between pointers shall only be applied to pointers that address elements of the same array
  • MISRA25_13.5: The right hand operand of a logical && or || operator shall not contain persistent side effects
  • MISRA25_1.4: Emergent language features shall not be used
  • MISRA25_18.10: Pointers to variably-modified array types shall not be used
  • MISRA25_18.3: The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object
  • MISRA25_8.5: An external object or function shall be declared once in one and only one file
  • MISRA25_12.2: The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand
  • MISRA25_18.6: The address of an object with automatic or thread-local storage shall not be copied to another object that persists after the first object has ceased to exist
  • MISRA25_7.6: The small integer variants of the minimum-width integer constant macros shall not be used
  • MISRA25_20.10: The # and ## preprocessor operators should not be used
  • MISRA25_6.2: Single-bit named bit-fields shall not be of a signed type
  • MISRA25_11.5: A conversion should not be performed from pointer to void into pointer to object
  • MISRA25_11.1: Conversions shall not be performed between a pointer to a function and any other type
  • MISRA25_21.20: The pointer returned by certain standard library functions shall not be used following a subsequent call
  • MISRA25_21.21: The Standard Library function system shall not be used
  • MISRA25_22.11: A thread that was previously either joined or detached shall not be subsequently joined nor detached
  • MISRA25_22.12: Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by appropriate functions
  • MISRA25_22.7: The macro EOF shall only be compared with the unmodified return value from functions capable of returning EOF
  • MISRA25_23.7: A generic selection that is expanded from a macro should evaluate its argument only once
  • MISRA25_21.19: The pointers returned by certain Standard Library functions shall only be used as if they have pointer to const-qualified type
  • ADA95_2.1.5: Parameter Alignment
  • ADA95_3.1.3: Capitalization
  • ADA95_3.2.1: Names
  • ADA95_3.3.2: File Headers
  • ADA95_3.3.3: Program Unit Specification Headers
  • ADA95_3.3.4: Program Unit Body Headers
  • MISRA25_21.25: All memory synchronization operations shall be executed in sequentially consistent order
  • MISRA25_22.5: A pointer to a FILE object shall not be dereferenced
  • MISRA25_23.1: A generic selection should only be expanded from a macro
  • MISRA25_23.3: A generic selection should contain at least one non-default association
  • MISRA25_23.8: A default association shall appear as either the first or the last association of a generic selection
  • MISRA25_22.19: A condition variable shall be associated with at most one mutex object


Bug Fixes

Localization - Japan

  • Fix incorrect text in Japanese installer

Settings

  • Fix encoding setting to allow case-insensitive UTF-8 input

Language - Fortran

  • Fix bug where references to properties made with renamed entities were not recorded correctly

Language - Web

  • Fix missing type references in TypeScript
  • Fix missing RenameCall and Call Indirect references when calling via renamed imports

CodeCheck Checks

  • Fix false positive in MISRA12_17.3 when headers are not in the project

Known Issues 

  • Und settings command may not work with unanalyzed changes in project
  • Nodelock license fails to validate running API on Rocky 8.10
  • Some macros aren't defined when importing VS 2022 SLN and VCXPROJ
  • MacOS Sonoma and later cannot connect to the Icarus license server
  • Print Preview may not function correctly