Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.

Johannes Spth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

Browse the full ECOOP paper archive.