Delta-Bench: Differential Benchmark for Static Analysis Security Testing Tools

被引:14
作者
Pashchenko, Ivan [1 ]
Dashevskyi, Stanislav [1 ]
Massacci, Fabio [1 ]
机构
[1] Univ Trento, Trento, Italy
来源
11TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2017) | 2017年
关键词
Static Analysis; Static Application Security Testing Tool; Vulnerability; Software Security; Large-scale Benchmark;
D O I
10.1109/ESEM.2017.24
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Background: Static analysis security testing (SAST) tools may be evaluated using synthetic micro benchmarks and benchmarks based on real-world software. Aims: The aim of this study is to address the limitations of the existing SAST tool benchmarks: lack of vulnerability realism, uncertain ground truth, and large amount of findings not related to analyzed vulnerability. Method: We propose Delta-Bench - a novel approach for the automatic construction of benchmarks for SAST tools based on differencing vulnerable and fixed versions in Free and Open Source (FOSS) repositories. To test our approach, we used 7 state of the art SAST tools against 70 revisions of four major versions of Apache Tomcat spanning 62 distinct Common Vulnerabilities and Exposures (CVE) fixes and vulnerable files totalling over 100K lines of code as the source of ground truth vulnerabilities. Results: Our experiment allows us to draw interesting conclusions (e.g., tools perform differently due to the selected benchmark). Conclusions: Delta-Bench allows SAST tools to be automatically evaluated on the real-world historical vulnerabilities using only the findings that a tool produced for the analyzed vulnerability.
引用
收藏
页码:163 / 168
页数:6
相关论文
共 25 条
[1]  
Asaduzzamad M., 2013, P ICSME 13
[2]   Programming Language Use in US Academia and Industry [J].
Ben Arfa Rabai, Latifa ;
Cohen, Barry ;
Mili, Ali .
INFORMATICS IN EDUCATION, 2015, 14 (02) :143-160
[3]  
Black P. E., 2016, TECH REP
[4]  
Chen T. Y., 1998, TECH REP
[5]  
Christakis M., 2016, P ASE 16
[6]  
Dahse J., 2014, P USENIX 14
[7]  
Delaitre A., 2013, P SERE 13
[8]  
Dolan-Gavitt B., 2016, P SSP 16
[9]   A Comparative Study of Industrial Static Analysis Tools [J].
Emanuelsson, Par ;
Nilsson, Ulf .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 217 (0C) :5-21
[10]   A Systematic Literature Review on Fault Prediction Performance in Software Engineering [J].
Hall, Tracy ;
Beecham, Sarah ;
Bowes, David ;
Gray, David ;
Counsell, Steve .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (06) :1276-1304