基于抽象符号表的内存模型
【出 处】:《
计算机工程与科学
》
CSCD
2011年第33卷第6期 84-90页,共7页
【作 者】:
代子营
;
毛晓光
;
马晓东
;
王瑞
【摘 要】
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
相关热词搜索:
上一篇:基于组件的飞行模拟系统的软件结构
下一篇:软件自动化测试中热点路径的研究