控制流分析

✍ dations ◷ 2025-08-18 21:34:04 #程序分析

控制流分析（Control flow analysis）简称CFA，是一种确认程式控制流程的静态代码分析技术。控制流程会以控制流图（英语：control flow graph）来表示。对于函数编程语言及面向对象程式设计，CFA都是指计算控制流程的算法。

控制流分析一词最早是由Neil D. Jones及Olin Shivers开始使用。

对于像是Scheme之类有高阶函数的编程语言，不一定可以会程式中直接看出函数呼叫的目标，例如以下的程式片段

(lambda (f) (f x))

根据上述程式无法确认程序f是指什么，此情形下的控制流分析需考虑何时会执行此程式码，及当时的传入值。

抽象释义、约束补偿及型别系统都可以用来进行控制流分析。

相关

海耶斯埃尔文·欧涅斯特·海耶斯（英语：Elvin Ernest Hayes，1945年11月17日－），昵称“The Big E”，美国NBA前职业篮球运动员，身高六呎九寸，体重二百三十五磅，担任大前锋，在1968至1984年间先后为
黄石河黄石河（英语：Yellowstone River，阿西尼博因语；ȟeȟága wakpá, įǧų́ǧa wakpá, į́yąǧi wákpa ）是美国西部密苏里河的一条支流，长约692英里（1,114千米）。它是密苏里河上
唑唑（Azole）在有机化合物的命名中指五元环骨架的两个或两个以上杂原子，其中至少一个是氮的杂环化合物。该名称源于Hantzsch-Widman杂环命名系统（英语：Hantzsch–Widman nomenclatur
舌奏吐音是一种利用舌头在木管乐器上控制吹气气流，表现出各种声音效果的技术。概分有4种方法：单吐、双吐、三吐和弹吐法。单吐（Single Tonguing）是吐音最基本的运舌法，每个声音的起始
2010年代马来西亚2010年代，是马来西亚独立后的第五个十年，相当于建国54年至63年。
东人达东人达（1950年－2018年），男，重庆云阳人，中国民族学家。重庆三峡学院民族研究所教授、系主任。中央民族大学中国少数民族研究中心特聘教授。1950年生。1982年毕业于河北大学历史系，获
鲍勃·迪西鲍勃·迪西（Bob Dishy）是美国舞台、电视、电影演员。
中华拟锯齿蛤中华拟锯齿蛤（学名：）为贻贝科拟锯齿蛤属的动物。在中国大陆，分布于黄海、东海等海域，主要栖息于潮下带稍深一些的水域、一般垂直分布在46-86m 间、底质多为泥沙或软泥以及附着在
无界算子在数学中, 特别是泛函分析与算符理论, 无界算子的概念提供了用于处理微分算符, 量子力学中无界可观测量等的一个抽象框架.无界算子的名称具有一定的误导性，这是因为不同于有
弗拉帕赫魏尔湖坐标：47°44′55″N 9°37′46″E / 47.748618°N 9.629576°E / 47.748618; 9.629576弗拉帕赫魏尔湖（德语：Flappachweiher），是德国的湖泊，位于该国西南部，由巴登-符腾堡州负责管辖