控制流分析
kòng zhì liú fēn xī · ㄎㄨㄥˋ ㄓˋ ㄌㄧㄡˊ ㄈㄣ ㄒㄧ
- 字母
- kong zhi liu fen xi
- 首字母
- kzlfx
- 注音符号
- ㄎㄨㄥ ㄓ ㄌㄧㄡ ㄈㄣ ㄒㄧ
- 注音首符
- ㄎㄓㄌㄈㄒ
控制流分析（Control flow analysis）简称CFA，是一种确认程序控制流程的静态代码分析技术。控制流程会以控制流图来表示。对于函数编程语言及面向对象程式设计，CFA都是指计算控制流程的算法。控制流分析一词最早是由Neil D. Jones及Olin Shivers开始使用。抽象释义、约束补偿及型别系统都可以用来进行控制流分析。