控制流分析

✍ dations ◷ 2025-05-19 13:43:42 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 帕罗西汀帕罗西汀(Paroxetine)是一种选择性5-羟色胺再吸收抑制剂(SSRI)型的抗抑郁药,其药物形态为盐酸帕罗西汀(Paroxetine hydrochloride),商品名为“赛乐特”(Seroxat)。在临床上常用于社交
  • 陈木法陈木法(1946年8月-),福建省惠安县螺阳镇后田院东村人,中国科学院院士、数学家。1965年,陈木法毕业于惠安一中。1969年,毕业于北京师范大学数学系。1980年于北京师范大学研究生毕业,
  • 储蓄率各国储蓄列表的数据来源于美国中央情报局,储蓄率是指国民储蓄的总金额除以当年GDP,国民储蓄是可支配总收入减去总消费,包含个人储蓄、商业储蓄以及政府储蓄,但不包含外国储蓄,以
  • 林 青林青,字芝田,福建福清县人,清朝政治人物。同进士出身。嘉庆七年(1802年)壬戌科进士,三甲二十二名。
  • 史诗史诗是一种庄严的文学体裁,内容为民间传说或歌颂英雄功绩的长篇叙事诗,它涉及的主题可以包括历史事件、民族、宗教或传说。专家Albert Lord和Milman Parry主张经典的史诗基本
  • 14号染色体14号染色体是人类23对染色体中的一对,正常人拥有2条14号染色体。14号染色体缠绕了约1亿700万碱基对(构筑DNA的材料),并包含了人类细胞中约3%至3.5%的DNA。每条染色体上的基因识
  • 黎湛枝黎湛枝(清同治九年九月十六日至民国十七年三月十日,即1870年10月10日-1928年4月29日),字露苑,亦作露庵、璐庵,广东南海县狮山镇黎边村人。清末政治人物,人称广东宰相,曾任清末皇帝溥
  • 尚食局尚食局是古代中国及朝鲜负责供应皇家伙食的机构,大明的尚食局的首席女官为尚食,下有司膳(之下有典膳、掌膳)、司酝(之下有典酝、掌酝)、司药(之下有典药、掌药)、司饎(之下有典饎、掌
  • 黄圣球黄圣球(2003年5月4日-),台湾男演员。2012年,演出电视剧《罪美丽》郑子恩一角;2018年,以电影《谁先爱上他的》入围第55届金马奖“最佳新演员奖”。父亲是新宝岛康乐队团员暨客家金曲
  • 徐邦达徐邦达(1911年7月7日-2012年2月23日),字孚尹,号李庵、心远生,晚年号蠖叟,男,浙江海宁人,生于上海,中国书画鉴定专家。曾任北京故宫博物院研究员、中央文物鉴定委员会常务理事。有“徐