Projects

PhASAR

PhASAR is a novel static-analysis framework on top of LLVM. PhASAR provides various solvers that allow for solving arbitrary monotone data-flow problems (distributive or not) in a fully automated manner on the LLVM intermediate representation (LLVM IR).