Intraprocedural Analysis
Listing annotation (See Figure 4)
- Arrows indicating goto targets
Flow charts (See Figure 5)
- Boxes, diamonds, joins, and terminators
Control flow graphs (CFGs) (See Figure 6)
- Each executable statement is a node
- Arcs denote possible flows of control