The control-flow graph describes the control flow for each function in the program. The graph nodes are the basic blocks and the edges are the possible sequencing between the basic blocks. An edge can be either an in-sequence edge or a jumping edge. Following an in-sequence edge means executing the following instruction in the assembly code whereas following a jumping edge means executing the instruction located at the target address of the CT-instruction.