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