EWFT：基于程序执行过程的白盒测试工具

来源 :电子学报 | 被引量 : 0次 | 上传用户：xingxing123789

【摘要】

：

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA

【作者】

：

王颖谷利泽杨义先董宇欣

【机构】

：

北京邮电大学信息安全中心,哈尔滨工程大学

【出处】

：

电子学报

【发表日期】

：

2014年10期

【关键词】

：

动态测试软件脆弱性分析测试用例生成压缩存储 dynamic test softw are vulnerability analysis test ge

【基金项目】

：

国家自然科学基金（No.61003285,No.61121061）, 中央高校基本科研业务费专项资金（No.2012RC0218,No.2012RC0219,No.2013RC0311）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA（Path Weight Analysis）覆盖测试算法,实现了EWFT（Execution-based Whitebox Fuzzing Tool）原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.

其他文献

东莞市连续运行卫星定位系统的构成及测试

介绍了连续运行卫星定位系统的组成及工作原理，通过连续运行24小时的稳定性测试和利用静态点的内、外符合精度测试，得出了该系统数据丢失率和内、外符合精度。

期刊

全球定位系统连续运行卫星定位系统虚拟基准站网络RTKGPS continuous operational reference system virt

加伯变换与线性正则变换的关系及其在滤波器设计中的应用

线性正则变换是分数阶傅里叶变换的广义形式,由于其具有3个自由参数,故相比于分数阶傅里叶变换有更强的灵活性.加伯变换作为短时傅里叶变换的特例,是信号处理领域中一种重要

期刊

加伯变换线性正则变换仿射变换Gabor transform linear canonical transform affine transformat

基于项权值变化的完全加权正负关联规则挖掘

本文提出一种基于项权值变化的完全加权正负关联规则挖掘算法，解决了基于项权值变化的负模式挖掘问题．该算法考虑项权值依赖于事务记录的特点，采用新的项集剪枝方法和模式评价框

期刊