Boomerang is a on-demand context and flow-sensitive pointer analysis for Java. - View it on GitHub