【摘 要】
:
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号
【基金项目】
:
国家863计划资助项目(2007AA010301)
论文部分内容阅读
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
其他文献
该文分析了我校涉外护理专业对外合作办学的现状,以及学生英语基础偏低、师资力量匮乏、缺乏适合的教材等主要教学问题,提出应该夯实学生英语基础、提升教师素质、加强教材建
目的:观察联合使用中药单体与西药对肿瘤细胞凋亡的影响。方法:培养肺癌NCI-H446细胞和乳腺癌MCF-7细胞,观察中药川芎嗪联合顺铂及丹参酮ⅡA联合西药5-Fu(5-Fluorouracil,5-
目的:重点探索应用布地奈德和多索茶碱两种药物治疗支气管哮喘的有效性。方法:选取在我诊所接受治疗的104例支气管哮喘患者为研究对象,采用布地奈德和多索茶碱两种药物治疗的
目的提高锆合金在高温高压环境中耐动水腐蚀性能。方法利用多弧离子镀技术(MAIP)在Zr-4合金表面分别制备了Al2O3涂层和Cr/TiAlN复合涂层,利用磁控溅射技术(MS)在Zr-4合金表面
随着老龄化进程的加快,我国养老问题的严重性日益显露,社会养老保险的负担也越来越重,市场经济的快速发展急需商业养老保险的发展,来弥补社会养老保险的缺陷,完善社会养老保
建筑工程在快速发展的过程中,建筑的质量越来越被施工单位所重视,在建筑施工的过程中,有效的管理措施,可以保证建筑的质量,提高施工效率。在建筑工程施工管理的过程中存在一
随着信息技术的飞速发展,以现场总线为基础的网络型控制系统已成为船舶自动化领域的发展方向。而CAN总线因为其总线协议的高可靠性、实时性和灵活性及其独特的设计和合理的成
伴随着全球经济一体化和信息社会化的到来以及国际间交流和合作的不断扩大 ,知识的传输已超越了国界的限制 ,高校教育国际化已成为一种必然的趋势。本文重点探讨了高校教育国
<正>妊娠期高血压综合征是临床中较为常见的一种妇科疾病,是孕妇特有的疾病,是孕妇死亡的重要原因。临床症状有高血压、蛋白尿、水肿等,甚至出现昏迷,抽搐。导师是天津市中心
音乐,其主要是让学生掌握一定的音乐基础知识,让学生具有理解音乐的基本能力,使精神受到陶冶,心理素质得到提高。认清了音乐欣赏中课的情感教育的教学要求,并对如何在欣赏课