GitHub repository: secure-software-engineering/SparseBoomerang
Primary language: Java
Description: Sparse Demand-Driven Pointer Analysis