Editing Program analysis (section)

=== Control-flow ===
{{main|Control-flow analysis}}
The purpose of control-flow analysis is to obtain information about which functions can be called at various points during the execution of a program. The collected information is represented by a [[control-flow graph]] (CFG) where the nodes are instructions of the program and the edges represent the flow of control. By identifying code blocks and loops a CFG becomes a starting point for compiler-made optimizations.