基于约束推导式的增强型二进制漏洞挖掘

郑建云; 庞建民; 周鑫; 王军

首页> 中文期刊> 《计算机科学》 >基于约束推导式的增强型二进制漏洞挖掘

基于约束推导式的增强型二进制漏洞挖掘

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

近年来,使用软件相似性方法挖掘软件中的同源漏洞已经被证明确实有效,但现有的方法在准确率方面还存在一定不足.在原有的软件相似性方法的基础上,文中提出了一种基于约束推导式的增强型相似性方法.该方法引入代码规范化和标准化处理技术以减少编译环境引起的噪声,使得同源程序在不同编译条件下的反编译代码表示尽量趋于相同;使用程序后向切片技术提取漏洞函数和漏洞补丁函数的约束推导式,通过两者约束推导式的相似性比较,过滤掉易被误判为漏洞函数的补丁函数,以减少漏洞挖掘结果中的误报.基于所提方法,实现了新的漏洞挖掘系统VulFind.实验结果表明,该系统可以提升软件相似性分析的准确率,使得漏洞挖掘结果的准确率得到有效提升.

著录项

来源
《计算机科学》 |2021年第3期|320-326|共7页
作者
郑建云; 庞建民; 周鑫; 王军;
展开▼
作者单位

数学工程与先进计算国家重点实验室郑州 450002;

数学工程与先进计算国家重点实验室郑州 450002;

数学工程与先进计算国家重点实验室郑州 450002;

数学工程与先进计算国家重点实验室郑州 450002;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
二进制代码分析; 漏洞挖掘; 软件相似性; 代码规范化; 约束推导式;

相似文献

中文文献
外文文献
专利

1. 基于源码与二进制文件的漏洞挖掘技术 [J] . 傅涛 . 软件 . 2018,第007期
2. 基于解除约束原理推导一阶非完整约束系统的rLagrange方程 [J] . 高普云 . 湖南工业大学学报 . 2017,第005期
3. 一种基于二进制差分算法的WSN多约束路由算法 [J] . 肖刚 ,贾国辉 ,周忠良 . 舰船电子对抗 . 2015,第002期
4. 基于空间约束的二进制代码重写技术研究 [J] . 宋威 ,曾勇军 ,奚琪 . 计算机应用与软件 . 2014,第006期
5. 基于二进制的约束性关联规则挖掘算法 [J] . 方刚 . 计算机工程 . 2009,第007期
6. 基于结构色散的快光增强型谐振式激光陀螺方法 [C] . LIU Teng-jun ,刘腾骏 . 2016惯性技术发展动态发展方向研讨会——光学陀螺及系统技术发展与应用 . 2016
7. 基于机器学习的二进制漏洞挖掘技术研究 [A] . 于婷 . 2019

基于约束推导式的增强型二进制漏洞挖掘

摘要

著录项

相似文献

相关主题

期刊订阅