A LLVM-based static analysis framework. - View it on GitHub