![GrammaTech Static Code Analysis](media/banner/Banner_CodeSonar_2023.png)
Compliance with Standards for Safety-Critical Development
![GrammaTech FDA Ensure Reliability](ensure_reliability_gt.jpg)
Power of Ten Rules
CodeSecure´s CodeSonar provides checks that support most of the Power of Ten rules.The Power of Ten is a set of 10 rules developed by Gerard Holzmann of the NASA Jet Propulsion Laborator for use in developing safety-critical software code. The rules are simple and specify strict limits on forms that code can take, to ensure code clarity and analyzability, especially important for safety-critical applications.
Please view CodeSonar´s Power of Ten coverage to see how CodeSonar´s warning classes correlate with Power of Ten Rules.
JPL Rules
CodeSecure´s CodeSonar provides checks that support most of the JPL rules.The JPL rules build on the Power of Ten coding rules and MISRA-C coding guidelines for safety-critical applications. The JPL rules (JPL Institutional Coding Standards for the C Programming Language) address software risks related to the use of multi-threaded software.
Please view CodeSonar´s coverage of JPL Rules to see how CodeSonar´s warning classes correlate with JPL rules.
Other Coding Standards support by CodeSonar
Other Coding Standards support by CodeSonar include:- MISRA
- FDA Standards
- CWE- and BSI-Rules
- CodeSonar allows for the implementation of company specific rules
![CodeSonar Logo](media/logos/CodeSonar_Logo_Transparent.png)
![GrammaTech Static Code Analysis Screenshot 03](grammatech_codesonar_03.jpg)
![GrammaTech CodeSonar Screenshot 01](grammatech_codesonar_osx_30.png)
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)