Scalable and incremental software bug detection

Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan

Abstract

An important, but often neglected, goal of static analysis for detecting bugs is the ability to show defects to the programmer quickly. Unfortunately, existing static analysis tools scale very poorly, or are shallow and cannot find complex interprocedural defects. Previous attempts at reducing the analysis time by adding more resources (CPU, memory) or by splitting the analysis into multiple sub-analyses based on defect detection capabilities resulted in limited/negligible improvements.

BibTeX

@inproceedings{McPeak-al:FSE13,
  author    = {Scott McPeak and
               Charles{-}Henri Gros and
               Murali Krishna Ramanathan},
  title     = {Scalable and incremental software bug detection},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {554--564},
  publisher = {{ACM}},
  year      = {2013},
}

Scalable and incremental software bug detection

Abstract

Related papers