论文部分内容阅读
设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装，在程序执行过程中收集路径约束条件，依据一定的路径遍历算法生成新路径约束条件并进行求解，构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制，对路径约束条件进行简化，提高了代码覆盖率和漏洞检测的效率。
基于符号化执行的Fuzzing测试方法
【摘 要】
：
设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装，在程序执行过程中收集路径约束条件，依据一定的路径遍历算法生成新路径约束条件并进行求解，构造可以引导程序向
【机 构】
：
解放军信息工程大学信息工程学院
【出 处】
：
计算机工程
【发表日期】
：
2009年21期
其他文献
随着科技的发展,互联网已经被越来越多的民众使用,在日常生活中发挥无可替代的作用。大众媒介的飞速发展为人们带来了海量的信息、前所未有的传播速度和传播体验。大量真实可
商业经济模式和科学量化标准对人文学科的不公平定位和不舍理评估，导致了人文学科的处境日渐衰落。西方人文学科所遭受的种种经历折射出了全球人文学科的困境。首先总结西方有
"善意"是动产抵押权善意取得的核心要件,但动产抵押善意取得过程中有"订立抵押合同时的善意"和"抵押合同生效时的善意",它们属于两种不同的善意。"订立抵押合同时的善意"属于
人文学科在历史上扮演过重要角色,是传统教育的核心,但在当代,其地位却江河日下,甚至出现了危机。美国著名文学批评家、艺术与科学院院士帕洛夫曾经指出:“我们已经失去了别
本文论述了恽代英《学校体育之研究》一文在中国近代学校体育史中的地位及产生的影响。并引证史实,分析该文对民族传统学校体育所作的科学的扬弃,从而光大了民族优秀传统,发
心房颤动（简称房颤）是临床上最常见的心律失常之一,有较高的致死率和致残率。2014年美国心脏病协会/美国心脏病学协会/美国心律学会（AHA/ACC/HRS）心房颤动指南中,对于有症状且药
美国执法机构最危急和最苛刻的调查就是涉警开枪调查。美国警方要求涉枪警察接受有执业执照的心理健康专家的心理干预,他们熟知开枪后干预、执法文化和致命武力对抗的残酷现
致力于人与自然的终极和解始终是马克思主义生态思想的基本思路与价值追求,也是萨拉·萨卡生态社会主义思想得以构建与形成的致思逻辑。通过对现实生态恶化的境况反思与"生态
目的探讨B超在腮腺肿块诊断中的作用。方法回顾性分析张掖市中医医院自2002年6月至2009年6月来经病理证实的28位腮腺肿块患者的超声图像资料。结果本组28例其中良性肿瘤17例，