Compliance with Power of Ten

The "Power of Ten" refers to a set of ten rules developed by Gerard Holzmann of the NASA Jet Propulsion Laboratory for use in writing safety-critical software. The rules are simple, but they specify strict limits on the forms code can take. These limits support code clarity and analyzability, which are especially important for safety-critical applications.

Power of Ten Coverage for CodeSonar

View the mapping of CodeSonar checks to the Power of Ten rules: View PDF

Comply with coding standards faster.

Begin Your Free Trial