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

• 作者: 林锦滨 王宝生 翁子盛
• 来源期刊: 长江大学学报（自然科学版）理工卷
• 学科: 工学
• 关键词: 符号执行 单元测试 数组语义建模
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 计算机科学与电子信息工程
• 页码范围: 225-228
• 分类号: TP311
• 字数: 2887字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-1409-C.2010.01.072

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王宝生	国防科学技术大学继续教育学院	22	106	5.0	9.0
2	翁子盛	国防科学技术大学继续教育学院	1	2	1.0	1.0
3	林锦滨	国防科学技术大学继续教育学院	1	2	1.0	1.0