基于抽象符号表的内存模型

• 作者: 代子营 毛晓光 王瑞 马晓东
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 符号执行 内存模型 抽象符号表 程序分析
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 84-90
• 分类号: TP311
• 字数: 7578字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2011.06.017

摘要

符号执行技术在软件测试和程序验证中发挥着重要作用.如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题.本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法.抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制.内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型.基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法.经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛晓光	国防科学技术大学计算机学院	23	219	5.0	14.0
2	王瑞	国防科学技术大学计算机学院	12	47	5.0	6.0
3	代子营	国防科学技术大学计算机学院	2	7	2.0	2.0
4	马晓东	国防科学技术大学计算机学院	2	4	2.0	2.0