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