SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing

Static analysis tools have showcased their importance and usefulness in automated detection of defects. However, the tools are known to generate a large number of alarms which are warning messages to the user. The large number of alarms and cost incurred by their manual inspection have been identified as two major reasons for underuse of the tools in practice. To address these concerns plentitude of studies propose postprocessing of alarms: processing the alarms after they are generated. These studies differ greatly in their approaches to postprocess alarms. A comprehensive overview of the postprocessing approaches is, however, missing. In this article, we review 130 primary studies that propose postprocessing of alarms. The studies are collected by combining keywords-based database search and snowballing. We categorize approaches proposed by the collected studies into six main categories: clustering, ranking, pruning, automated elimination of false positives, combination of static and dynamic analyses, and simplification of manual inspection. We provide overview of the categories and sub-categories identified for them, their merits and shortcomings, and different techniques used to implement the approaches. Furthermore, we provide (1) guidelines for selection of the postprocessing techniques by the users/designers of static analysis tools; and (2) directions that can be explored by the researchers.

show abstract

SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing

Cited by 3 publications

References 6 publications

Survey of Approaches for Handling Static Analysis Alarms

Survey of Approaches for Handling Static Analysis Alarms

Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities

Survey of Approaches for Postprocessing of Static Analysis Alarms

Contact Info

Product

Resources

About