
GrammaTech CodeSonar: Checks for MISRA Rules
The MISRA (Motor Industry Software Reliability Association) standard was created to facilitate best practices for the development of safety-critical software in road vehicles.The MISRA-C:2004, MISRA-C:2012, and MISRA-C++:2008 rules have also been widely accepted in other industries including aerospace, defense, telecom, and medical.
Dr. Paul Anderson, Vice President of Engineering with GrammaTech, is member of the MISRA® committee to collaborate on world-leading best practice guidelines for the safe and secure development of both embedded control systems and standalone software.
GrammaTech CodeSonar simplifies MISRA Compliance
The latest version of the MISRA rules brings substantial improvements from the previous ones.Rule 1.3 ("There shall be no occurrence of undefined or critical unspecified behavior.") and Directive 4.1 ("Run-time failures shall be minimized.") are of particular importance. A lot of the most serious bugs in C arise from undefined behavior.
Here some of this bugs:
- Buffer overruns and underruns
- Double close
- Invalid pointer direction
- Use of uninitialized memory
- Data races
- Division by zero
CodeSonar is an advanced tool, which has deep semantic knowledge of the entire program.
We recommend to avoid lightweight static analysis tools. Although they can find syntactic violations, they are generally not capable of finding the deeper defects.
CodeSonar-Checks for MISRA
Check here for a mapping of CodeSonar checks to MISRA rules:How to Avoid Common Pitfalls in MISRA Compliance
Complying with MISRA C:2012
Request your free copy GrammaTech's whitepaper here


CodeSonar 4 for Embedded Systems
![[PDF]](icon-pdf-15x16.gif)
![[PDF]](icon-pdf-15x16.gif)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
Automate the Verification of Your Code
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
IEC 62443
How Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
![[PDF]](icon-pdf-15x16.gif)