Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software

Authors - Moritz Beller, Radjino Bholanath, Shane McIntosh, Andy Zaidman
Venue - International Conference on Software Analysis, Evolution, and Reengineering, pp. 470-481, 2016

Related Tags - SANER 2016 static analysis software evolution

Abstract - The use of automatic static analysis has been a software engineering best practice for decades. However, we still do not know a lot about its use in real-world software projects: How prevalent is the use of Automated Static Analysis Tools (ASATs) such as FindBugs and JSHint? How do developers use these tools, and how does their use evolve over time? We research these questions in two studies on nine different ASATs for Java, JavaScript, Ruby, and Python with a population of 122 and 168,214 open-source projects. To compare warnings across the ASATs, we introduce the General Defect Classification (GDC) and provide a grounded-theory-derived mapping of 1,825 ASAT-specific warnings to 16 top-level GDC classes. Our results show that ASAT use is widespread, but not ubiquitous, and that projects typically do not enforce a strict policy on ASAT use. Most ASAT configurations deviate slightly from the default, but hardly any introduce new custom analyses. Only a very small set of default ASAT analyses is widely changed. Finally, most ASAT configurations, once introduced, never change. If they do, the changes are small and have a tendency to occur within one day of the configuration's initial introduction.

Preprint - PDF

Bibtex

@inproceedings{beller2016saner,
  Author = {Moritz Beller and Radjino Bholanath and Shane McIntosh and Andy Zaidman},
  Title = {{Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software}},
  Year = {2016},
  Booktitle = {Proc. of the International Conference on Software Analysis, Evolution, and Reengineering (SANER)},
  Pages = {470-481}
}