A user-guided approach to program analysis
Reflection Analysis for Java