Phasar - A LLVM-based static code analysis framework

Phasar is a novel static-analysis framework on top of LLVM. Phasar provides various solvers that allow the solving of arbitrary monotone data-flow problems (distributive or not) in a fully automated manner on the LLVM intermediate representation (LLVM IR). A user just has to provide the specific description of the problem to solve.