控制流分析

✍ dations ◷ 2025-09-09 09:59:20 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 日落综合征日落症候群是部分老人痴呆症或阿兹海默症患者的其中一种病征,发病率由一成至三成不等,患者一到日落、傍晚时刻,就开始出现焦躁、躁动、幻觉、甚至产生攻击倾向。日落症候群的成
  • 苏格兰民族党苏格兰民族党(英语:Scottish National Party,缩写为SNP;苏格兰盖尔语:Pàrtaidh Nàiseanta na h-Alba;低地苏格兰语:Scottis Naitional Pairtie),有时也译作苏格兰国家党,是苏格兰的
  • 保罗·奥尼尔保罗·亨利·奥尼尔(英语:Paul Henry O'Neill ,1935年12月4日-),生于密苏里州圣路易斯,第72任美国财政部部长,总统乔治·沃克·布什的首个幕僚。2002年12月因为政府的压力及成了被
  • 卡西尼-惠更斯号2017年9月15日卡西尼-惠更斯号(英语:Cassini–Huygens)是前往土星系统的一架旗舰级空间探测器,也是由美国宇航局(NASA)、欧洲空间局(ESA)和意大利航天局(ASI)合作进行的任务。整个任务
  • 变易生死变异生死,佛教术语,指大乘佛菩提的初地菩萨以上、或解脱道的二乘修行人已证解脱极果阿罗汉果者而回入大乘者,皆有能力入有余涅槃,而其解脱证境已不受三界之轮回,故属不受分段生死
  • 新选组血风录 近藤勇《新选组血风录 近藤勇》(しんせんぐみけっぷうろく こんどういさみ)为于1963年5月12日上映的日本时代剧,由东映制作发行,是根据司马辽太郎的著作《新选组血风录》改编而成。
  • 钟菌属钟菌属(学名:Verpa)是盘菌目羊肚菌科的一个属,和羊肚菌属关系密切,外型也与羊肚菌属类似,属于假羊肚菌。本属物种分布广泛,共有五个物种。学名Verpa为拉丁文“直立”或“小棒”之意
  • 阮毅成阮毅成(1905年11月15日-1988年7月28日),字静生,号思宁,学名冠华,浙江余姚临山人,法学家。1918年,入读浙江省立第一中学(今杭州高级中学)。五四运动时期,曾参与组织“新吾学社”,与查猛济
  • 卡尔·冯·罗基坦斯基卡尔·冯·罗基坦斯基(Carl von Rokitansky,1804年至2月19日-1878年7月23日),奥地利医学家。他青年时就喜好医学,先后就读于布拉格大学和维也纳医学院,1828年成为维也纳医学院病理
  • 石头城 (消歧义)石头城可以指: