Machine Learning Methods for Software Vulnerability Detection

被引:44
作者
Chernis, Boris [1 ]
Verma, Rakesh [1 ]
机构
[1] Univ Houston, Houston, TX 77004 USA
来源
IWSPA '18: PROCEEDINGS OF THE FOURTH ACM INTERNATIONAL WORKSHOP ON SECURITY AND PRIVACY ANALYTICS | 2018年
基金
美国国家科学基金会;
关键词
static analysis; buffer overflow; vulnerability detection; n-grams; suffix trees; software metrics; machine learning; PREDICTING FAULTS;
D O I
10.1145/3180445.3180453
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Software vulnerabilities are a primary concern in the IT security industry, as malicious hackers who discover these vulnerabilities can often exploit them for nefarious purposes. However, complex programs, particularly those written in a relatively low-level language like C, are difficult to fully scan for bugs, even when both manual and automated techniques are used. Since analyzing code and making sure it is securely written is proven to be a non-trivial task, both static analysis and dynamic analysis techniques have been heavily investigated, and this work focuses on the former. The contribution of this paper is a demonstration of how it is possible to catch a large percentage of bugs by extracting text features from functions in C source code and analyzing them with a machine learning classifier. Relatively simple features (character count, character diversity, entropy, maximum nesting depth, arrow count, "if" count, "if" complexity, "while" count, and "for" count) were extracted from these functions, and so were complex features (character n-grams, word n-grams, and suffix trees). The simple features performed unexpectedly better compared to the complex features (74% accuracy compared to 69% accuracy).
引用
收藏
页码:31 / 39
页数:9
相关论文
共 20 条
[1]  
[Anonymous], 2012, ACM QUEUE, DOI DOI 10.1145/2090147.2094081
[2]  
[Anonymous], 2007, 3 INT WORKSH PRED MO
[3]   A validation of object-oriented design metrics as quality indicators [J].
Basili, VR ;
Briand, LC ;
Melo, WL .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (10) :751-761
[4]  
Brumley D., 2007, RICH AUTOMATICALLY P, P28
[5]   CSSV: Towards a realistic tool for statically detecting all buffer overflows in C [J].
Dor, N ;
Rodeh, M ;
Sagiv, M .
ACM SIGPLAN NOTICES, 2003, 38 (05) :155-167
[6]   Improving security using extensible lightweight static analysis [J].
Evans, D ;
Larochelle, D .
IEEE SOFTWARE, 2002, 19 (01) :42-+
[7]  
Haller I., 2013, Proceedings of the 22Nd USENIX Conference on Security, P49
[8]   Predicting Faults Using the Complexity of Code Changes [J].
Hassan, Ahmed E. .
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, :78-88
[9]  
Kim S, 2007, PROC INT CONF SOFTW, P489
[10]  
Larochelle D., 2001, USENIX SEC S, V32