控制流分析

✍ dations ◷ 2025-11-05 12:10:57 #程序分析

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

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

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

(lambda (f) (f x))

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

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

相关

  • 550110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 迷失《迷失》(英语:Lost)是一部美国电视连续剧影集,最初由美国广播公司播出,全剧从2004年9月22日开播,到2010年5月23日完结,共播出六季。内容讲述从澳大利亚悉尼飞往美国洛杉矶的海洋航
  • 哈斯利峡谷哈斯利峡谷(英语:Hasley Canyon)是位于美国加利福尼亚州洛杉矶县的一个人口普查指定地区。哈斯利峡谷的座标为34°28′54″N 118°40′00″W / 34.48167°N 118.66667°W / 34.
  • 全氟戊烷全氟戊烷是一种碳氟化合物,是戊烷的全氟化合物。它是一种沸点稍高于标准温度的液体。它具有多种生物医学应用,包括用于加压定量吸入器的推进剂和超声造影剂。其它: 枸橼酸铁铵
  • 萨瓦帕利·拉达克里希南5 (daughters) 萨瓦帕利·拉达克里希南爵士(泰卢固语:సర్వేపల్లి రాధాకృష్ణ,转写:Sarvēpalli rādhākr̥ṣṇa,英语:Sir Sarvepalli Radhakrishnan,1888年9月
  • 匈牙利边界围栏 参与边界围栏运作的国家匈牙利边界围栏建于2015年,位于匈牙利与塞尔维亚和克罗地亚接壤的边界。匈牙利在欧洲移民危机恶化后修建该围栏,以加强边境安全,阻止移民以非法途径进
  • 商战模拟商战模拟也称为商业模拟,是指用于商业培训或分析的模拟。大多数商战模拟被用于训练和培养商业触觉。学习目标包括:战略思维,财务分析,市场分析,经营,团队合作和领导力。相对于仅仅
  • 东急2020系电力动车组东急2020系电力动车组(日语:东急2020系电车)是东京急行电铁时代的2018年3月28日投入服务的列车。这里是记述、田园都市线用的2020系列车,不是大井町线用的东急6020系电力动车组
  • 霍华德·齐默尔曼霍华德·艾略特·齐默尔曼(英语:Howard Elliot Zimmerman,1926年7月5日-2012年2月12日),化学家,威斯康星大学麦迪逊分校化学教授。他于1980年入选为美国国家科学院院士,并于1986年荣
  • 阿森松蛇舌草 DC. L.阿森松蛇舌草(学名:),是南大西洋阿森松岛特有及灭绝的一种植物。这种鲜为人知的植物在阿森松岛的植物学记录开始时就已经很稀少,大多数报告显示它们分布在绿山(英语:Green