NASA's 10 rules for safety critical code

These rules were developed in 2006 to strengthen static analysis of C code in high-stakes environments. I don't think they apply to many here.