Catching C code bugs

List of things so I won't forget about them. I think I've already forgotten some:

• clang -fsanitize parameters
• clang static analyzer
• coverity
• STACK to catch bugs by seeing what compiler optimizer drops out.
• John Regehr's blog has useful stuff.