Tai-e is an easy-to-learn/use static analysis framework for Java.