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