•
A
control-flow
analysis
•
Only jumps and jump targets are of
intererest