【摘 要】
：
动态符号执行是近年来新兴的一种软件漏洞检测方法，它可以为目标程序的不同执行路径自动生成测试用例，从而获得较高的测试代码覆盖率。然而，程序的执行路径很多，且大部分路径都是
【基金项目】
：
国家863计划(2012AA012902);“核高基”国家科技重大专项基金(2013ZX01045-004)
论文部分内容阅读
动态符号执行是近年来新兴的一种软件漏洞检测方法，它可以为目标程序的不同执行路径自动生成测试用例，从而获得较高的测试代码覆盖率。然而，程序的执行路径很多，且大部分路径都是漏洞无关的，通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法，并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址，在动态符号执行过程中遇到这些指令地址时收集危险路径约束，再通过约束求解生成走危险路径的测试用例，这些测试用例将更可能触发程序漏洞。实验结果表明了该方
其他文献
以前期筛选的铜富集植物大聚藻为材料,采用两因素随机区组试验设计,通过盆栽试验研究了不同浓度铜锌复合污染对大聚藻抗氧化酶活性的影响,以揭示铜富集植物大聚藻对重金属的
铅销橡胶支座是整体型减隔震装置的一种。本论文介绍了国内外减震技术的发展和现状；综合分析了普通板式橡胶支座和铅销橡胶支座的工作机理、性能及参数的计算；提出了铅销橡胶支
本工作采用湿法相转化工艺制备聚醚砜（PES）超滤膜，并研究膜亚层孔结构的形成机理。研究膜孔结构的形成及其演变对膜的制备及应用有显著的指导作用，因而有重要的实际意义。首先用
在戏剧《麦克白》中,超自然的力量——女巫成为独立的线索,与现实情节形成对立,但又对戏剧情节的发展、冲突的产生起着核心作用。文章运用精神批评的方法,论证了女巫正是麦克
服装,既是商品又是艺术,在中国,探讨服装的商业性和艺术性时,人们总是偏向商业性而忽略服装的艺术性,虽然二者在作用于服装的地位中,艺术性是服务于商业性的,但是缺少艺术性
结合实际介绍了现场签证的概念、范围及原则,着重阐述了现场签证的办理程序,并提出了加强施工阶段现场签证管理的具体措施,以指导施工单位及建设单位提高现场签证管理水平,有
我国《合同法》综合规定了大陆法系的不安抗辩抗理论与英美法系的预期违约制度,以期更好的规范法律关系。这两种制度虽然都有其优势,但却是在不同的法制环境下发展而来,将其
目的:完善和提高广东紫珠药材的质量标准,为其深度开发提供科学依据.方法:到湖南、江西等地的广东紫珠药材产地、制药企业调查,收集药材采收、加工等信息.以采集自湖南、江西
针对施工图预算编制中存在的问题,从工程量、定额、单价及各种费用多方面介绍了施工图预算审核的具体内容,论述了审核的四种方法,并总结了每种方法的优缺点,有利于提高造价工
数字遗产包括互联网上的账号、密码、文字、声音、图片、影像、虚拟货币、游戏装备等。这些投入了大量的时间、精力甚至金钱的虚拟财产在拥有者去世后会不会像现实中的财产一