JimpleFramework A Rascal implementation of the Jimple framework. The current version supports: parsing Java Byte Code into a JIMPLE representation. JIMPLE code optmization constructs. a framework for dataflow analysis.