The Power of 10: Rules for Developing Safety-Critical Code (NASA/JPL) (en.wikipedia.org)

the pointer rules are interesting, they make also difficult use after free exploits I think, which is nice:)