程序符号执行中的数组分析

摘要：

符号执行中复杂结构语义的建模决定了其分析结果的精度.通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG.试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入.

关键词：符号执行、单元测试、数组语义建模

所属期刊栏目：7

分类号：TP311(计算技术、计算机技术)

在线出版日期：2010-07-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：225-228