分段符号执行模型及其环境交互问题信号与信息处理专业论文.docxVIP

北京邮电大学博-上论文 北京邮电大学博-上论文 分段符号执行模型及其环境交互问题研究 独创性(或创新性)声明 本人声明所呈交的论文是本人在导师指导下进行的研究工作及取得的研究 成果。尽我所知，除了文中特II]II以标注和致谢中所罗列的内容以外，论文中不 包含其他人已经发表或撰写过的研究成果，也不包含为获得北京邮电大学或其他 教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任 何贡献均已在论文中作了明确的说明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名： 蠡，墨1＆ 日期： 丝￡壁=笸：缓 ．金 ， 关于论文使用授权的说明 学位论文作者完全了解北京邮电大学有关保留和使用学位论文的规定，即： 研究生在校攻读学位期间论文工作的知识产权单位属北京邮电大学。学校有权保 留并向国家有关部门或机构送交论文的复印件和磁盘，允许学位论文被查阅和借 阅；学校可以公布学位论文的全部或部分内容，可以允许采用影印、缩印或其它 复制手段保存、汇编学位论文。(保密的学位论文在解密后遵守此规定) 本学位论文不属于保密范围，适用本授权书。 本人签名： 二j!￡：龟2冬 日期： 驰z口：正：趁 导师签名： ．!二踣眄v 2 日期： 韦乓应．‘：互丞 ～ 之—J H ，，叶吗?川 北京邮电大学博士论文 北京邮电大学博士论文 分段符号执行模型及其环境交互问题研究 分段符号执行模型及其环境交互问题研究 摘要 高代码覆盖率的软件自动化测试是开发高质量软件的关键性技 术。符号执行是一种重要的形式化和自动化的程序分析理论，是一种 生成能够覆盖特定执行路径测试用例的方法模型，能够与程序的抽象 和推理、模型检测等理论相互结合，在程序的自动化测试、缺陷检测、 程序的验证与确认、正确性证明等方面有较好的应用前景。 符号执行的基本原理是通过输入数据符号化，将运算过程表示为 路径执行条件的符号表达式，从而将测试数据生成问题转换为可满足 性(Satisfiability)理论的约束求解问题。 近几年来符号执行技术发展快速，在早期只能分析简单数据类型 和简单数据运算的单过程程序，目前向着能够应用于复杂数据类型、 复杂运算操作、多过程程序的方向发展。 但是符号执行技术向实用化方向发展的过程中仍然存在如下三 方面困难。其一，对于任意功能外部过程调用的处理方法存在局限性 (外部调用承担了目标程序与执行环境交互的功能，因此这种局限性 也称为环境交互问题)。实际情况中或由于外部调用黑盒的特性，或 由于外部调用会极大增加程序体积，而无法进行有效符号执行分析。 现有的以实际执行值替换符号变量的方法具有严重的片面性，而基于 环境建模的方法不具备实用性。其二是路径爆炸问题，符号执行存在 程序路径数量会随着程序体积呈指数性增长的现象。这造成对大型程 序的分析很难在可容忍的时间消耗和资源消耗内完成。而现有的函数 摘要等解决方法存在不精确性和无法处理递归调用等问题。其三，对 具有复杂数据结构、基于指针运算、内存动态分配等复杂数据运算的 程序的处理模型不健全，对任意形式的数据结构不能完全处理。这些 问题是当前符号执行理论发展的最大障碍，已经成为学界研究的热点。 本文的研究工作试图解决上述问题，主要包括以下几个方面： 第一项工作也是论文中最重要的工作是针对路径爆炸问题，提出 了分段符号执行模型。分段符号执行是一种新的符号执行模型，基本 思路是将大型程序的分析拆分为多个程序单元的分析，可分多次选择 111 北京邮电大学博士论文 北京邮电大学博士论文 分段符号执行模型及其环境交互问题研究 性的执行目标程序中的不同单元。其中每一分析单元内的路径数量都 在可控制的范围内，不会造成持续的路径爆炸，但是如果需要满足总 的分析时间仅为各部分分析时间的总和，前提是能够处理外部调用和 环境交互的问题，使得实际执行的时间消耗要大大小于符号执行的时 间消耗。在分段符号执行中，各目标单元间的调用也成为了外部调用， 因此环境交互问题就成为了分段符号执行模型的关键性问题。 论文通过对外部调用的参数属性判断、实际执行过程的程序行为 分析及IO对象建模的方法来处理环境交互问题。 论文的第二项工作是在数据流分析理论和方法的基础上，定义并 ： 判断外部过程调用的参数属性。通过参数属性抽象描述了外部过程中 的数据输入与输出等行为，从而能够检测到并符号化输入的数据。这 、) 将程序分析过程中对外部调用的处理转换为了函数内部分析。论文中 所采用数据流分析是一种成熟的程序分析方法，对符号执行的时间消 耗影响很／j、。 第三是提出了实际执行过程的程序行为分析及IO对