cclyzer++ is a precise and scalable global pointer analysis for LLVM code. - View it on GitHub