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

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