控制流图（Control Flow Graph)是在计算机科学中用图的方式来表现程序执行过程中所有的可能执行路径的一种方式。在控制流图中，每一个节点表示表示一个基本的代码块，这些基本的代码块用箭头连接起来用以描述这些代码块之间的执行顺序。
在控制流图中，有两类特殊的代码块，入口代码块和出口代码块；所有的执行路径都从入口块开始，并且结束于一个出口块。
一个控制流图本身是一个图(Graph)，可以用计算机图论中的术语来加以描述，诸如edge，vertex，back edge等等。
下面的图片可以作为一个基本的控制流图的样本：
