Static Code Analysis
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++."
Find potential issues in code by doing an analysis at the source code level.
Raise the code quality, follow industry coding standards.
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 level
•  Fully integrated with the IAR Embedded Workbench IDE
•  Comprehensive and detailed error information
•  Fast execution
For more information click here.
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
For more information click here.
"C-STAT" checks for a wide range of known issues in C/C++ code.
For more information click here.
The home of world class embedded development tools