pointer analysis

Synchronized Pushdown Systems

Efficient and precise data-flow analysis.

Pointer Analysis Boomerang

Boomerang is a demand-driven pointer analysis for Java.