Framework for doing static analysis in Java