Static Value-Flow Analysis Framework for Source Code
T.J. Watson Libraries for Analysis, with frontends for Java, Android, an...
[LLVM Static Slicer] Various program analyses, construction of dependenc...
Chronos - A static race detector for the go language
Static program analysis for TIP
Mirror of Doop: https://bitbucket.org/yanniss/doop
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
A tool for analyzing LLVM bitcode using Datalog.
Map2Check: Finding Software Vulnerabilities