PhASAR

PhASAR is a LLVM-based static analysis framework written in C++. The framework allows for solving arbitrary (decidable) data-flow problems on the LLVM intermediate representation (IR).

PhASAR offers various data-flow solver implementations as well as all required helper analyses. It provides, among others, several algorithms for call-graph construction, computation of points-to information, etc..