NASA's 10 Rules for Developing Safety-Critical Code
NASA Jet Propulsion Laboratory’s Laboratory for Reliable Software developed a set of code guidelines for developing safety-critical code. The NASA's 10 rules are intended to eliminate C coding practices that make it difficult to review or properly analyze with static analysis tools. Enforce NASA's 10 Rules With Klocwork.