控制流分析

✍ dations ◷ 2025-04-04 23:59:17 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

喉癌喉癌为消化系统癌症的一种。大多数的喉癌都是鳞状细胞癌，可见喉癌主要是于喉上皮的鳞状上皮细胞上形成。喉癌可以在喉的任何一个位置形成，而喉癌的康复率很受癌细胞位置的影
教研人员教师（英语：Teachers，中文口语也常称作“老师”，旧称“先生”），又称作教育工作者、教员，是大众对教育从业者的称呼，是培养社会所需人才的专业。于教育机构；因应社会需要，亦有家庭教师的
转运RNA转运核糖核酸（Transfer RNA），又称传送核糖核酸、转移核糖核酸，通常简称为tRNA，是一种由76-90个核苷酸所组成的RNA，其3'端可以在氨酰-tRNA合成酶催化之下，接附特定种类的氨基酸。转
罗伯特·特雷特·潘恩罗伯特·崔特·潘恩（英语：Robert Treat Paine；1731年3月11日－1814年5月11日），美国政治家、北美大陆会议代表，曾签署美国独立宣言，开国之父之一。美国麻塞诸塞州（麻州）第一任大法官，美
木醋液木醋液（Pyroligneous acid），又称为焦木酸，是通过破坏蒸馏（Destructive distillation）木材和其他植物所产生的深色液体。木醋液的主要组分是乙酸、丙酮和甲醇。曾被用作乙酸的商业
天王星的卫星天王星是太阳系的第7颗行星，截至2014年7月，人类一共发现27颗天王星的卫星，所有卫星均以威廉·莎士比亚或亚历山大·蒲柏著作中的角色命名。威廉·赫歇尔于1787年发现了天卫三和
保护继电器在电气工程中，保护继电器是设计用来当检测到故障时，跳脱断路器达到保护特定设施的装置，特定设施可以是发电机、变压器、输电线路等等。无ANSI Device Numbers列出不同功能的电
莫顿·艾夫奥·普斯莫顿·艾夫奥·普斯（英语：Morton Everel Post；1840年12月25日－1933年3月19日），是一位美国民主党的政治人物，曾在1881年至1885年担任怀俄明领地众议院议会代表。普斯生于纽约州门罗
里海希尔卡尼亚混合森林Category:Pages using infobox ecoregion with unknown parameters（英语：Category:Pages using infobox ecoregion with unknown parameters）置身在温带阔叶混合林生物群系中
2014年以巴冲突哈马斯及加沙地带胜利，成功击退以色列军队，达成停火协议加沙武装组织本雅明·内塔尼亚胡以色列总理摩西·亚阿隆以色列国防部本尼·甘茨以色列国防军 Amir Eshel（英语：Amir