基于KLEE的复杂路径中内存泄露检测研究

来源 :中国电子科学研究院学报 | 被引量 : 0次 | 上传用户:jiajiadedaan1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。
其他文献
所谓"英语浸入式(有时也译为"沉浸式""浸泡式")教学",是一种双聚焦的教学方法,即采用英语进行语言和学科教学,使学生能有效"浸泡"在英语环境中,以期达到学科和语言学习的双目标能力。英
《儒林外史》是我国文学史上一部杰出的讽刺小说,是一部批判现实的杰作。它通过众多的人物形象抨击了八股取士科举制度的罪恶,科举制度所造成的"功名富贵"热像病毒一样在整个
从"源"上探寻——注重内容的适宜性、"趣"上探究——注重材料的操作性、"融"上探索——注重路径的多样性三方面研究幼儿科学教育生活化的实践研究,指出幼儿的科学教育应源于
在ERP/MRP -II系统中 ,提前期是一个与交货期、库存计划、能力平衡计划等等参数和过程有着密切关系的变量。可以说 ,提前期在ERP/MRP -II系统中具有核心地位。因此提前期的确
啤酒半成品与成品中氧的存在可使酒液中还原性物质氧化,严重影响啤酒非生物稳定性、风味及感官,是啤酒出现老化味最主要因素之一。在啤酒酿造过程中如何严格防氧是大生产过程
<正>农村留守儿童的数量还在逐年增加,他们的安全如何保障?未来路在何方?在云南的很多农村,有着一群可爱懵懂的孩子,他们的父母迫于生计,纷纷加入"务劳大军",远离家人,背井离
大学体育教育应注重大学生体育素养的培养。当前,许多大学生体育素养存在的问题值得我们去重新思考与分析,从而为高校体育教学与课外活动中如何更加有效地加强大学生的体育素
随着全球化进程的加快,电视竞争在世界范围内备受关注。现阶段英汉双语节目主持人的培养仍处于进行时,英汉双语节目主持人作为丰富各异的文化交流之窗,成为提高国家文化软实力、
公司法人治理结构是现代企业中一组规定股东、董事、经理班子权责的制度安排,推进公司法人治理结构的健全与完善是我国国有企业改革的必然要求和关键。目前国有企业的法人治
我国高校的思想政治教育存在对大学生个性化需求不够重视、心理辅导以及人文关心不足、师生之间缺乏沟通等问题。本文从关注大学生实际需求、网络教学管理以及构建网络思想政