Not mentioned in the article are two nice static analysis tools: the Clang Static Analyzer (http://clang-analyzer.llvm.org/ http://clang-analyzer.llvm.org/) and

Not mentioned in the article are two nice static analysis tools: the Clang Static Analyzer (http://clang-analyzer.llvm.org/ http://clang-analyzer.llvm.org/) and Klee (http://klee.llvm.org/ http://klee.llvm.org/). Both are LLVM-related projects (and there's a few others as well, but these are the two "big" ones).