C-Stat
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.