arrow
Return

VulDetector: Detecting Vulnerabilities Using Weighted Feature Graph Comparison

delete2021-01-01
delete34
PRE
AI
崔
崔磊 (Lei Cui)
Z
Zhiyu Hao *
Y
Yang Jiao
H
Haiqiang Fei
X
Xiaochun Yun
DOI:10.1109/TIFS.2020.3047756delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Code similarity is one promising approach to detect vulnerabilities hidden in software programs. However, due to the complexity and diversity of source code, current methods suffer low accuracy, high false negative and poor performance, especially in analyzing a large program. In this paper, we propose to tackle these problems by presenting VulDetector, a static-analysis tool to detect C/C++ vulnerabilities based on graph comparison at the granularity of function. At the key of VulDetector is a weighted feature graph (WFG) model which characterizes function with a small yet semantically rich graph. It first pinpoints vulnerability-sensitive keywords to slice the control flow graph of a function, thereby reducing the graph size without compromising security-related semantics. Then, each sliced subgraph is characterized using WFG, which provides both syntactic and semantic features in varying degrees of security. As for graph comparison, we take full usage of vulnerability graph and patch graph to improve accuracy. In addition, we propose two optimization methods based on analysis of vulnerabilities. We have implemented VulDetector to automatically detect vulnerabilities in software programs with known vulnerabilities. The experimental results prove the effectiveness and efficiency of VulDetector.
Keywords:
Vulnerability detection
code similarity
weighted feature graph

Journal

IEEE Transactions on Information Forensics and Security cover
IEEE Transactions on Information Forensics and Security
IF:
8
Papers:
5.3K
Citations:
2.3W

Organization

C
chinese academy of sciences
Scholars:
56.7W
Papers: 45.0W
Citations: 704
Cited Papers

Cited Papers

Lys63/Met1-hybrid ubiquitin chains are commonly formed during the activation of innate immune signalling
err2016-06-01
err0
errOAAI
errChristoph H. Emmerich; Siddharth Bakshi; Ian R. Kelsall; Juanma Ortiz-Guerrero; Natalia Shpiro; Philip Cohen
errShare
errSave
Spiking Suppression Precedes Cued Attentional Enhancement of Neural Responses in Primary Visual Cortex
err2017-11-23
err0
errOAAI
errMichele A Cox; Kacie Dougherty; Geoffrey K Adams; Eric A Reavis; Jacob A Westerberg; Brandon S Moore; David A Leopold; Alexander Maier
errShare
errSave
Charge state of ∼1 to 50 keV ions after passing through graphene and ultrathin carbon foils
err2014-02-04
err0
errOAAI
errFrédéric Allegrini; Robert W. Ebert; Stephen A. Fuselier; Georgios Nicolaou; Peter Bedworth; Steve Sinton; Karlheinz J. Trattner
errShare
errSave
Analyzing and Detecting Emerging Internet of Things Malware: A Graph-Based Approach
err2019-10-01
err103
PREAI
errAlasmary, Hisham; Khormali, Aminollah; Anwar, Afsah; Park, Jeman; Choi, Jinchun; Abusnaina, Ahmed; Awad, Amro; Nyang, Daehun; Mohaisen, Aziz
errShare
errSave
errShare
errSave
researcher View more