Code Analysis
C-Stat Static Code Analysis
Find potential issues in code by doing an analysis at the source code level.
Raise the code quality, follow industry coding standards.
“C-STAT” checks for a wide range of known issues in C/C++ code.
Finds buffer overflows, memory leaks, and null pointer dereferences. In total, the tool includes hundreds of checks that maps to issued covered by CWE and CERT C/C++.
Key features
- Analysis of C and C++ code
- Checks compliance with rules as defined by MISRA C:2004, MISRA C++:2008 and MISRA C:2012
- Includes approximately 250 checks mapping to hundreds of issues covered by CWE and CERT C/C++
- Intuitive and easy-to-use settings
- Flexible rule selection on rule-set level as well as on individual rule leve
- Fully integrated with the IAR Embedded Workbench IDE
- Comprehensive and detailed error information
- Fast execution
C-Run Run-Time Analysis
Find real and potential errors in the code while executing the program in a software debugger.
Key features
- Analysis of C and C++ code
- Intuitive and easy-to-use setting
- Unique optimizations of test instrumentation minimizes code size overhead
- Comprehensive and detailed runtime error information
- Call stack information provided for each error found
- Code correlation and graphical feedback in editor
- Flexible error filter management
- Buffer overflow detection
- Detection of value changes when casting between types
- Checks for overflow and wraparound in computations
- Discovery of bit losses in shift operations
- Heap and memory leaks checking
- Available as an add-on product for IAR Embedded Workbench for ARM, version 7.20 and forward