GitHub repository: GaloisInc/yapall
Primary language: C
Description: A precise and scalable pointer analysis for LLVM, written in Ascent