Control Flow Analysis
One of the most difficult parts of understanding a program is relating the static program text to its possible execution sequences
A programmer specifies execution sequences using programming language control structures such as subprogram invocation, if, while, and goto
So, to understand execution behavior, we can concentrate on these statements
This process is called control flow analysis (CFA)