A control-flow analysis
Only jumps and jump targets are of
intererest
Text Box: ‹#›