GitHub repository: peperunas/cclyzerpp
Description: cclyzer++ is a precise and scalable global pointer analysis for LLVM code.