Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Symbiotic is a tool for finding bugs in computer programs based on instr...
Static Analyzer for LLVM bitcode based on Abstract Interpretation
CPAchecker, the Configurable Software-Verification Platform (read-only m...
Collection of Verification Tasks (MOVED, please follow the link)
Static analysis framework for C
Map2Check: Finding Software Vulnerabilities