Quality and stability improvements
R2025b delivers quality and stability improvements, building on the new features introduced in R2025a.
MISRA C:2012 Support: Check for violations of all rules and directives including seven new concurrency-related rules introduced in MISRA C:2012 Amendment 4
In R2025b, Polyspace® supports 100% of the MISRA C™:2012 rules and directives, including these new checkers that check for concurrency related issues.
| Rule | Description |
|---|---|
MISRA C:2012 Dir 5.3 | There shall be no dynamic thread creation |
MISRA C:2012 Rule 9.7 | Atomic objects shall be appropriately initialized before being accessed |
MISRA C:2012 Rule 21.26 | The Standard Library function mtx_timedlock() shall only be invoked on mutex objects of appropriate mutex type |
MISRA C:2012 Rule 22.12 | Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions |
MISRA C:2012 Rule 22.14 | Thread synchronization objects shall be initialized before being accessed |
MISRA
C:2012 Rule 22.19 | A condition variable shall be associated with at most one mutex object |
MISRA
C:2012 Rule 22.20 | Thread-specific storage pointers shall be created before being accessed |
For more information, see Polyspace Support for MISRA C : 2012 Technical Corrigenda and Amendments.
MISRA C:2023 Support: Check for violations of all rules and directives including seven new concurrency-related rules
In R2025b, Polyspace Bug Finder™ supports 100% of the MISRA C:2023 rules and directives, including these new checkers that check for concurrency related issues.
| Rule or Directive | Description |
|---|---|
MISRA C:2023 Dir 5.3 | There shall be no dynamic thread creation. |
MISRA C:2023 Rule 9.7 | Atomic objects shall be appropriately initialized before being accessed |
MISRA C:2023 Rule 21.26 | The Standard Library function mtx_timedlock() shall only be invoked on mutex objects of appropriate mutex type |
MISRA C:2023 Rule 22.12 | Thread objects, thread synchronization objects, and thread-specific storage pointers shall only be accessed by the appropriate Standard Library functions |
MISRA C:2023 Rule 22.14 | Thread synchronization objects shall be initialized before being accessed |
MISRA
C:2023 Rule 22.19 | A condition variable shall be associated with at most one mutex object |
MISRA
C:2023 Rule 22.20 | Thread-specific storage pointers shall be created before being accessed |
For the full list of supported MISRA C:2023 rules and directives, see MISRA C :2023 Directives and Rules.