【摘 要】
:
现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。
【机 构】
:
解放军信息工程大学,数学工程与先进计算国家重点实验室
【基金项目】
:
国家863计划项目(2012AA012902)资助课题
论文部分内容阅读
现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzing方法。该方法针对二进制程序测试,建立了TGM(Testcase Generation Model)样本构造模型:首先根据计算能力收集测试样本集的相关信息;然后随机选择初始测试样本进行测试;最后,基于测试结果初始化模型参数,根据模型优先选择更有效的输入属性构造新样本并进行新一轮测试,通过重复进行该步骤,在迭代测试中不断更新模型参数,用于指导下一轮新测试样本构造。实验数据表明该方法可以辅助Fuzzing选择更有效的样本优先进行测试,设计的原型工具Comb Fuzz在异常检测能力和代码覆盖能力上都有良好表现,同时,在对大型应用程序进行测试时,与微软SDL实验室的Mini Fuzz测试器相比,在限定时间内平均异常发现率提高近18倍,并在WPS 2013等软件中发现了7个Mini Fuzz无法发现的未公开"可利用"脆弱点。
其他文献
随着船舶系统自动化程度的提高,数据融合技术在船舶自动化方面有着很大的应用前景和研究价值。本文主要介绍了数据融合技术在船舶信息综合处理、航海避碰决策系统、船舶故障
能源资源已成为国家之间竞争与合作的重要主导因素之一。南亚的缅甸在能源资源方面具有重要的战略地位,中国和印度均是缅甸的近邻,且均在缅甸天然气开发上具有重要利益,符合
文章在分析大学生学业规划的内涵后,提出当前普通高校大学生学业规划存在的问题主要有大学生缺乏规划的精神和能力、学业规划教育师资存在薄弱点两方面。对此,文章提出了教师
Z理论强调人本关怀,这正是以人才培养为目标的高校所需要的。文章结合当前大学生学业规划实际情况和需要,运用Z理论中合理的理念,探索大学生学业规划的有效实施路径,即以学生
在分析我国节水农业技术发展现状与趋势的基础上,结合现代节水农业技术发展与需求,提出未来我国现代节水农业技术研发重点和发展方向,即现代生物节水技术、非常规水高效安全
资产证券化,是指发起人将金融机构或其他企业持有的,缺乏流动性,但具有未来现金流收入的资产或资产组合,转让给特定目的载体(SPV),通过一定的结构性安排,对其风险与收益进行
<正>在智能手机发展如火如荼的今天,引领生态系统的苹果和谷歌占据利润塔尖,而销量最大的中国本土手机厂商仍延续山寨手机松散耦合的组装模式,整体利润不足苹果的七分之一。8
本文分析了一种基于集成模拟乘法器MC1496的振幅调制电路、同步检波电路,具体给出了偏置电流和偏置电压。详细介绍了抑制载波以及有载波的调幅实现过程,电路的同步检波实现过
该文创新设计了一种多个双频超声波探头的超声波接收电路,适用于海洋鱼类资源探测等需要用到多个超声波探头的场合。该接收电路由前级放大电路,开关切换电路,带通滤波电路和
本文研究了中钇富镧稀土的氧化物溶液在环烷酸中的萃取行为,测定了镧钇组成、温度变化与分离系数的关系;在P_(507)体系中研究了pH值与分配比的关系;提出用环烷酸、P_(507)两种萃取剂制备高纯钇的