OpenJIT Bytecode Discompiler
		u This module recovers Java Abstract Syntax Tree from input’s bytecodes F extract control flow information F recover expressions in basic blocks u Basic Idea: AST’s control flowgraph is analogous with dominator tree in its form. u See Maruyama’s slides.