CFG，是计算机科学中的表示法，利用数学中图的表示方式，标示计算机程序过程中所经过的所有路径。控制流图是由法兰·艾伦所建立，他提出曾利用邻接矩阵用在流分析上。CFG是许多及静态程序分析工具中的核心技术。
定义.控制流图中的每个顶点都对应一个程式基本块，也就是一段没有分支指令，也没有分支目的的程式码，基本块的开始是分支目的，而基本块会以分支为结束。控制流程中会用有向边来表示分支。在大部份的进行下，会有二个特殊指定的程式块：进入程式块（entry block）是指进入此控制流图时，第