控制流分析

✍ dations ◷ 2025-06-30 18:11:03 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 沃尔顿·李拉海克拉伦斯·沃尔顿·“沃尔特”·李拉海(英语:Clarence Walton "Walt" Lillehei,1918年10月23日-1999年7月5日),美国外科医生,心内直视手术的先驱开创者之一,被称作“心内直视手术之
  • 古兰经《古兰经》(阿拉伯语:اَلْقُرآن‎,al-qurʾān,字面上解作“诵读”)是伊斯兰教中最重要的经典。伊斯兰教信徒(穆斯林)相信《古兰经》是真主安拉的启示,它被广泛认为是最优
  • 蜕皮激素蜕皮激素或蜕皮甾类激素、蜕皮类固醇(英语:Ecdysteroids)是节肢动物的甾体激素参与调控蜕皮、发育,以及在较小程度上影响生殖。蜕皮激素包括蜕皮酮、20-羟基蜕皮酮、2-脱氧蜕皮
  • 绝缘质绝缘体(英语:Insulator),又称电介质或绝缘子,是一种阻碍电荷流动的材料。在绝缘体中,价带电子被紧密的束缚在其原子周围。这种材料在电气设备中用作绝缘体,或称起绝缘作用。其作用
  • 忠清忠清道(韩语:충청도)是昔日朝鲜八道之一,位于朝鲜半岛西南部,道府位于公州(공주)。1356年设道。道名由忠州 (충주)和清州 (청주)合成。1895年,朝鲜行二十三府制。本道被分为三府,即东部的
  • 佛洛伊德西格蒙德·弗洛伊德(德语:Sigmund Freud,出生名:Sigismund Schlomo Freud,1856年5月6日-1939年9月23日),奥地利心理学家、精神分析学家、哲学家,犹太人。生于奥地利弗莱堡(今属捷克),后
  • 鲸偶蹄目鲸偶蹄目(学名:Cetartiodactyla)是一个包含了传统的鲸目及偶蹄目的演化支,一般用来描述鲸豚类是从偶蹄目中演化而来。遗传学分析表明,与鲸豚类亲缘关系最近的现生动物是河马。鲸
  • 阿加特·巴克-格伦达尔阿加特·巴克-格伦达尔(挪威语:Agathe Backer-Grøndahl ,1847年12月1日-1907年6月4日),挪威钢琴家,作曲家。早年学习钢琴演奏,很快成为一名出色的音乐会钢琴家。1865年到柏林学习,后
  • 作对《作对》 林逸欣 Shara 莎拉公主于2012年8月6日发行的第一张个人专辑唱片,由喜欢音乐唱片公司制作、环球唱片公司(Universal)发行。《作对》专辑从筹划、收歌、录制到发行历
  • 2009年世界运动会柔术比赛2009年世界运动会的柔术比赛由7月21日至7月22日于中山大学体育馆举行。分别为对战以及双人演武两大项。运动舞蹈 | 体操 | 滑轮溜冰 | 合球 | 浮士德球 | 七人制橄榄球 | 壁