程序控制流图（Control Flow Graph，简称CFG）是一种图形化表示程序执行流程的工具。它由节点和箭头组成，其中节点代表程序中的控制结构，如判断、循环和函数调用等；箭头则表示程序的执行顺序。
控制流图的基本元素
节点（Node）：每个节点代表程序中的一个控制结构，例如一个条件语句、循环语句或函数调用。在控制流图中，每个节点通常是一个无分支的语句或源程序语句。
边（Edge）：边或连接表示控制流，即从一个节点到另一个节点的执行路径。边可以是有向的，表示程序的执行顺序。
控制流图的应用
控制流图在软件开发过程中有多种应用：
需求分析：帮助程序员理解程序的需求和逻辑结构。
设计文档编写：用于编写详细的设计文档，便于团队成员之间的沟通和协作。
代码审查：通过控制流图可以更容易地找出潜在的错误和改进点。
编译器优化：编译器可以利用控制流图进行优化，例如通过确定基本路径集来优化代码执行路径。
控制流图的绘制
在绘制控制流图时，应注意以下几点：
在选择或多分支结构中，分支的汇聚处应有一个汇聚节点。
边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。
控制流图与流程图的关系
控制流图是对程序流程图进行简化后得到的，它可以更加突出地表示程序控制流的结构。流程图中的每个步骤都可以转化为控制流图中的一个节点，而流程图中的顺序和分支结构则转化为控制流图中的边。
通过掌握控制流图的绘制和分析，程序员可以更好地理解和调试程序，从而提高代码的可读性和可维护性。