Power of Ten Rules

GrammaTech´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

GrammaTech´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.