精确的程序静态分析

作者：**

来源：计算机学报, 2008, (09): 1549-1553.

• 静态分析
• 程序路径
• 符号执行
• 数据覆盖 static analysis
• program paths
• symbolic execution
• data coverage

程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年.近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证.文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术.着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度.针对程序分析精度的一种量化指标,说明了其计算方法.

• 单位
  中国科学院软件研究所; 计算机科学国家重点实验室