Summary of MetaIR Analysis Results

Java Source Code

Analyzed JVM Bytecode (Debug-YAML from Java Class-File API)

Extracted Control Flow Graph

Bytecode Control Flow Graph

Generated MetaIR Graph

MetaIR Graph

MetaIR Dominator Tree for Code Generation

MetaIR Dominator Tree

MetaIR Generated Pseudo-Code