Soot

Java optimization framework providing four intermediate representations (Baf, Jimple, Shimple, Grimp) for analyzing and transforming bytecode; usable as a standalone tool or as a framework for custom optimizations.