控制流分析

✍ dations ◷ 2025-02-24 05:56:32 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 左旋甲状腺素左旋甲状腺素钠是左旋甲状腺素的钠盐。左旋甲状腺素(Levothyroxine),也叫 合成T4或'3,5,3',5'-四碘-L-甲状腺素是甲状腺素(甲状腺激素)的合成形式,用于患有甲状腺疾患的患者的激素
  • 约克角半岛约克角半岛(英语:Cape York Peninsula)是澳大利亚北部昆士兰州的一个半岛,其北端约克角是澳大利亚大陆的极北点。该半岛在1770年由英国航海家詹姆斯·库克以约克公爵的封号命名
  • 德胜德胜(1465年三月—1466年闰三月)为中国明朝时期起事者刘通的年号,前后共13个月。
  • 光子工作室群光子工作室群是深圳市腾讯游戏旗下的游戏工作室。工作室群下设逍遥游工作室、欢乐游戏工作室、天玑智趣工作室、光速工作室、天行工作室、量子工作室。2014年,腾讯互娱自研游
  • 恐爪龙属恐爪龙属(属名:)是驰龙科恐龙的一属,身长约2.5-4米,生活于下白垩纪的阿普第阶中期至阿尔布阶早期,距今约1亿1500万至1亿800万年前。它的学名是来自古希腊文的“”(意为“恐怖”)及“
  • 土卫六大气层土卫六大气层是太阳系的天然卫星中唯一发展高度完整的卫星大气层。土卫六大气层最初是由西班牙天文学家朱塞普·科马斯·索拉于1903年从土卫六的周边昏暗现象推测其存在。19
  • 阿槃提阿槃提国(梵语:Avanti),又译为阿般提、阿槃底、摩波槃提、,释迦牟尼时代印度十六大国之一,大致上位于印度摩腊婆地区,首度为邬阇衍那城,佛经上指的优禅尼即使指此城。释尊时代,它是极
  • 戴维·戈德尔戴维·戈德尔(1951年3月3日-),美国生物化学家,生物技术产业的先驱。他成功利用基因工程让细菌合成人胰岛素,人生长激素,人组织型纤溶酶原激活剂。1951年出生在圣地亚哥,戈德尔在加利
  • 早良亲王早良亲王(天平胜宝2年(750年)-延历4年(785年)9月28日)是奈良时代末期的皇族。光仁天皇之皇子。生母是高野新笠。桓武天皇、能登内亲王之同母弟。因母方是下级贵族,无望立太子,天平宝
  • 埃纳尔·贾格尔埃纳尔·贾格尔(爱沙尼亚语:Enar Jääger;1984年12月18日-)是一位爱沙尼亚足球运动员,在场上的位置是中后卫。他现在效力于爱沙尼亚足球甲级联赛球队弗罗足球俱乐部。他也代表爱