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