控制流分析（）简称CFA，是一种确认程式控制流程的静态代码分析技术。控制流程会以控制流图来表示。对于函数程式语言及物件导向程式设计，CFA都是指计算控制流程的演算法。控制流分析一词最早是由Neil D. Jones及Olin Shivers开始使用。对于像是Scheme之类有高阶函数的程式语言，不一定可以会程式中直接看出函数唿叫的目标，例如以下的程式片段根据上述程式无法确认程序codice_1是指什么，此情形下的控制流分析需考虑何时会执行此程式码，及当时的传入值。抽象释义、约束补偿及型别系统