Survey of Approaches for Handling Static Analysis Alarms

被引:48
作者
Muske, Tukaram [1 ]
Serebrenik, Alexander [2 ]
机构
[1] Tata Consultancy Serv, Tata Res Dev & Design Ctr, Pune, Maharashtra, India
[2] Eindhoven Univ Technol, Eindhoven, Netherlands
来源
2016 IEEE 16TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM) | 2016年
关键词
D O I
10.1109/SCAM.2016.25
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Static analysis tools have showcased their importance and usefulness in automated detection of code anomalies and defects. However, the large number of alarms reported and cost incurred in their manual inspections have been the major concerns with the usage of static analysis tools. Existing studies addressing these concerns differ greatly in their approaches to handle the alarms, varying from automatic postprocessing of alarms, supporting the tool-users during manual inspections of the alarms, to designing of light-weight static analysis tools. A comprehensive study of approaches for handling alarms is, however, not found. In this paper, we review 79 alarms handling studies collected through a systematic literature search and classify the approaches proposed into seven categories. The literature search is performed by combining the keywords-based database search and snowballing. Our review is intended to provide an overview of various alarms handling approaches, their merits and shortcomings, and different techniques used in their implementations. Our findings include that the categorized alarms handling approaches are complementary and they can be combined together in different ways. The categorized approaches and techniques employed in them can help the designers and developers of static analysis tools to make informed choices.
引用
收藏
页码:157 / 166
页数:10
相关论文
共 109 条
[1]  
Aggarwal A., COMPSAC 2006
[2]  
Allier S., WCRE 2012
[3]   Tool support for fine-grained software inspection [J].
Anderson, P ;
Reps, T ;
Teitelbaum, T ;
Zarins, M .
IEEE SOFTWARE, 2003, 20 (04) :42-+
[4]  
[Anonymous], 2007, EBSE2007001
[5]  
Arai S., IWESEP 2014
[6]  
Ayewah N., DEFECTS 2009
[7]  
Ayewah N., PASTE 2007
[8]  
Ayewah N., ISSTA 2010
[9]  
Badampudi D., EASE 2015
[10]   Precise widening operators for convex polyhedra [J].
Bagnara, R ;
Hill, PM ;
Ricci, E ;
Zaffanella, E .
SCIENCE OF COMPUTER PROGRAMMING, 2005, 58 (1-2) :28-56