static code analysis
Soot - A Java optimization framework
A points-to and alias analysis benchmark suite
