计算机科学

首页 > 计算机科学

控制流分析

2018-07-27 09:27:13     所属分类:计算机科学小作品

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

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

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

(lambda (f) (f x))

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

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

参考资料

  1. ^ Neil D. Jones, Flow analysis of lambda expressions, Automata, Languages and Programming, 1981: 114–128, doi:10.1007/3-540-10843-2_10 
  2. ^ Shivers, Olin, Control-flow analysis in Scheme, Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol.23, No.7, 1988: 164–174, doi:10.1145/53990.54007, Reprinted in emph{20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979--1999): A Selection  参数|quote=值左起第62位存在换行符 (帮助)

相关推荐