计算机工程与科学2011，Vol.33Issue(6)：84-90,7.DOI:10.3969/j.issn.1007-130X.2011.06.017
基于抽象符号表的内存模型
A Memory Model Based on Abstract Symbol Tables
摘要
Abstract
Symbolic execution plays an important role in the area of software testing and program verification. However, there are several difficulties facing symbolic execution, one of which is how to abstract various data types and syntax in the source codes. This paper addresses this problem by proposing a new concept of abstract symbol table and a method to model memory using abstract symbol tables. The abstract symbol table records names, types, abstract addresses and symbolic values of addressable objects, which is a simple and accurate memory abstracting mechanism. The memory model is prerequisite for any techniques involving symbolic execution, but this paper systematically presents a memory model for symbolic execution in detail. The abstract symbol table-based memory model can handle various data types and syntax uniformly including function and class, handle the aliasing problem directly, and possess good scalability because of several performance-improving techniques.关键词
符号执行/内存模型/抽象符号表/程序分析Key words
symbolic execution/memory model/abstract symbol table/ program analysis分类
计算机与自动化引用本文复制引用
代子营,毛晓光,马晓东,王瑞..基于抽象符号表的内存模型[J].计算机工程与科学,2011,33(6):84-90,7.基金项目
国家863计划资助项目(2007AA010301) （2007AA010301）
