An easy-to-learn/use static analysis framework for Java - View it on GitHub