控制流分析

✍ dations ◷ 2025-06-08 21:52:26 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 甲状腺炎甲状腺炎(Thyroiditis)是发生在甲状腺的炎症,包括甲状腺功能亢进症或甲状腺机能低下症,是内分泌学疾病的一种。 甲状腺位于颈部的前方、喉结以下,负责生产控制生陈代谢的荷尔蒙。
  • Dexedrine右旋安非他命(英语:Dextroamphetamine)是强力中枢神经兴奋剂,也是苯丙胺(“安非他命”) 的对映异构体,是注意力不足过动症(ADHD)和发作性嗜睡病的处方药。此外,它也被用作提升运动员能
  • 直觉主义逻辑直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真
  • 太阳系天体发现时间列表这是数百年来太阳系内所发现的卫星的时间列表。为了比较,天王星、海王星、冥王星的发现时间都包括在内。最初的六个小行星也都被包括在内,之后,每年都有新的小行星发现,而开始的
  • 印光法师净土宗十五祖印光(1862年-1940年11月4日) ,俗名赵绍伊,字子任,法号圣量,别号常惭愧僧, 净土宗第十三代祖师,同时也是净土宗的重要中兴人物,并为中国近代佛教复兴作出显著贡献,常被尊称
  • 国清寺天台山国清寺是一所佛教寺院,位于中国浙江台州天台县城北天台山麓,建成于隋代,已有一千四百多年历史,乃中国佛教天台宗和日本佛教天台宗的祖庭。该寺始建于隋文帝开皇十八年(598
  • 海湾省海湾省(英语:Gulf Province)是巴布亚新几内亚20省之一,首府凯里马(Kerema)。
  • 鸩是一种传说中的毒鸟。形象为黑身赤目,身披紫黑色羽毛,喜以蛇为食。它的羽毛有剧毒,放入酒中能置人于死地。《汉书》中记载,汉惠帝二年时期,齐王刘肥入朝,惠帝对其礼遇有加,结果遭
  • 埃弗里特 (马萨诸塞州)坐标:42°24′30″N 72°03′15″W / 42.40833°N 72.05417°W / 42.40833; -72.05417埃弗里特(英语:Everett),绰号荣耀、进步与可能之城(City of Pride, Progress and Possibilit
  • 郭嵩焘郭嵩焘(1818年4月11日-1891年7月18日),字筠仙,晚号玉池老人,湖南湘阴人,晚清政治家,湘军的创建者之一,也是中国首位驻外使节,曾任驻英国、法国公使。他与曾国藩、左宗棠都是儿女亲家。