引用本文:余媛萍,苏璞睿,贾相堃,黄桦烽.基于局部路径图的自动化漏洞成因分析方法.软件学报,2024,35(10):4555-4572
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 1730次   下载 3299 本文二维码信息
码上扫一扫!
分享到: 微信 更多
基于局部路径图的自动化漏洞成因分析方法
余媛萍1,2, 苏璞睿1,2, 贾相堃1,2, 黄桦烽1,2
1.中国科学院 软件研究所 可信计算与信息保障实验室, 北京 100190;2.中国科学院大学 计算机科学与技术学院, 北京 100049
摘要:
快速的漏洞成因分析是漏洞修复中的关键一环, 也一直是学术界和工业界关注的热点. 现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法, 存在随机性噪声、重要逻辑关联指令缺失等问题, 其中根据测试集测量, 现有统计方法中的随机性噪声占比达到了61%以上. 针对上述问题, 提出一种基于局部路径图的漏洞成因分析方法, 其从执行路径中, 提取函数间调用图和函数内控制流转移图等漏洞关联信息. 并以此为基础筛除漏洞成因无关指令(即噪声指令), 构建成因点逻辑关系并补充缺失的重要指令, 实现一个面向二进制软件的自动化漏洞成因分析系统LGBRoot. 系统在20个公开的CVE内存破坏漏洞数据集上进行验证. 单个样本成因分析平均耗时12.4 s, 实验数据表明, 系统可以自动剔除56.2%噪声指令和补充并联结20个可视化漏洞成因相关点指令间的逻辑结构, 加快分析人员的漏洞分析速度.
关键词:  漏洞分析  成因分析  函数间调用图  函数内控制流转移图  统计分析
DOI:10.13328/j.cnki.jos.006971
分类号:TP311
基金项目:国家自然科学基金(62232016, 62102406, 61902384); 中国科学院战略性先导科技专项(XDC02020300); 前沿科技创新专项(2019QY1403)
LGBRoot: Partial Graph-based Automated Vulnerability Root Cause Analysis
YU Yuan-Ping1,2, SU Pu-Rui1,2, JIA Xiang-Kun1,2, HUANG Hua-Feng1,2
1.Trusted Computing and Information Assurance Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;2.School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing 100049, China
Abstract:
Fast vulnerability root cause analysis is crucial for patching vulnerabilities and has always been a hotspot in academia and industry. The existing vulnerability root cause analysis methods based on the statistical feature analysis of a large number of test sample execution records have problems such as random noise and missing important logical correlation instructions. According to the test set measurement in this study, the proportion of random noise in the existing statistical methods reaches more than 61%. To solve the above problems, this study proposes a vulnerability root cause analysis method based on the local path graph, which extracts vulnerability-related information such as the inter-function call graph and intra-function control flow transfer graph from the execution paths. The local path graph is utilized for eliminating irrelevant instruction (i.e., noise instructions) elimination, constructing the logic relations for vulnerability root cause relevant points, and adding missing critical instructions. An automated root cause analysis system for binary software, LGBRoot, has been implemented. The effectiveness of the system has been evaluated on a dataset of 20 public CVE memory corruption vulnerabilities. The average time for single-sample root cause analysis is 12.4 seconds. The experimental data show that the system can automatically eliminate 56.2% of noise instructions, and mend as well as visualize the 20 logical structures of vulnerability root cause relevant points, speeding up the vulnerability analysis of analysts.
Key words:  vulnerability analysis  root causes analysis  inter-function call graph  intra-function control flow graph  statistical analysis

引用本文:
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览次   下载  
分享到: 微信 更多
摘要:
关键词:  
DOI:
分类号:
基金项目:
Abstract:
Key words: