https://github.com/isislab/Project-Ideas/wiki/Program-Analysis - [BAP](http://users.ece.cmu.edu/~ejschwar/papers/cav11.pdf) - [LLVM Static Analyzer](http://clang-analyzer.llvm.org/) - [KLEE](http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf) - [BitBlaze](http://bitblaze.cs.berkeley.edu/) - [Insight](http://insight.labri.fr/trac) - [Jakstab](http://www.jakstab.org/documentation)
