Program Graph

A program graph is a directed graph in which nodes are statement fragments, and edges represent the flow of control. Two nodes are connected if execution can proceed from one to the other.

See Control Flow Graphs.