- Important information
- New features
- Known problems
- Program corrections
- User guide corrections
- Miscellaneous
- Release history
Important information
- None
New features
- None
Known Problems
-
[EWAVR-930, EW26408] The interval solver doesn't handle always true conditional expressions in the sense that a check can use it to warn for it
Program Corrections
-
[CSTAT-401, EWAVR-981] MISRAC2012-Rule-13.1 yields a false positive. Taking the address of a volatile object is considered as an operation with a side-effect.
User guide corrections
IAR Embedded Workbench® C-STAT® Static Analysis Guide, CSTAT-6
- None
Miscellaneous
- None
Release history
7.20.2 - Service Pack - 2019-02-27
New features
- None
Program corrections
-
[CSTAT-392, EWAVR-974] The check MISRAC2012-Rule-13.1 reports a false positive when the right-hand side of an assignment is cast from a non-volatile value to a pointer-to-volatile value.
7.20 - 2018-12-18
New features
- None
Program corrections
None
7.10.7 - Service Pack - 2018-07-09
New features
- When generating a full report, C-STAT now divides the report into multiple html files instead of one single html file. With this solution, the risk of slowing down the Embedded Workbench and/or external web-browser by the report has been reduced.
Program corrections
- None
7.10.6 - Service Pack - 2018-03-22
New features
- Updated manual
Program corrections
-
[EWAVR-962] MISRAC2012-Rule-16.1 and MISRAC2012-Rule-16.3 can generate false positives if object declarations exist inside case expressions.
-
[CSTAT-349, EWAVR-958] MISRAC2012-Rule-10.3 can trigger an internal error when a string is assigned to an array of characters.
-
[EWAVR-957] MISRAC2012-Dir-4.7_c issues a message when a function writes to errno even if there is a following test for errno.
-
[EWAVR-956] Using structs can in rare cases trigger an internal error.
7.10.3 - Service Pack - 2017-10-24
New features
- Updated the MISRA C 2004 package with 19 new checks.
- Updates to the reference documentation and manual.
Program corrections
- None
7.10.2 - Service Pack - 2017-06-19
New features
- None
Program corrections
- None
7.10 - 2017-05-19
New features
- None
Program corrections
EW26410: C-STAT does not correctly identify wrap-arounds through the post- and prefix negation, negate and subtract assign operators on unsigned expressions.
EW26406: Comparing values accessed through the subscript operator on different arrays are considered as comparisons between different pointers, thus falsely trigger MISRAC2012-Rule-18.3.
6.80.8 - Service Pack - 2016-12-21
New features
- None
Program corrections
EW26322: Using -I <path-to-system-headers> can cause C-STAT to report violations in system headers.