Control Flow Graph

The Control Flow Graph is a logical representation of the execution of a source code. It takes into account the path that follow the execution in the source, including:

• Sequential execution: one command at a time

• Goto jumps: from one part of the code to another one

• Branching: where one of two or more sequence of actions are exclusively executed, depending on conditions

• Looping: where the same piece of code is executed recuringly.

Control Flow Graph is used in code analysis, to audit the modifications of data.

Documentation

Related : Static Single Assignment Form (SSA), Graph