Fast and Precise Application Code Analysis using a Partial Library

Abstract

Long analysis times are a key bottleneck for the widespread adoption of whole-program static analysis tools. Fortunately, however, a user is often only interested in finding errors in the application code, which constitutes a small fraction of the whole program. Current application-focused analysis tools overapproximate the effect of the library and hence reduce the precision of the analysis results. However, empirical studies have shown that users have high expectations on precision and will ignore tool results that don't meet these expectations.

BibTeX

@inproceedings{Utture-Palsberg:ICSE22,
  author    = {Akshay Utture and
               Jens Palsberg},
  title     = {Fast and Precise Application Code Analysis using a Partial Library},
  booktitle = {ICSE},
  pages     = {934--945},
  publisher = {{ACM}},
  year      = {2022},
}

Fast and Precise Application Code Analysis using a Partial Library

Abstract

Related papers