Automatically testing implementations of numerical abstract domains

Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller

Abstract

Static program analyses are routinely applied as the basis of code optimizations and to detect safety and security issues in software systems. For their results to be reliable, static analyses should be sound (i.e., should not produce false negatives) and precise (i.e., should report a low number of false positives). Even though it is possible to prove properties of the design of a static analysis, ensuring soundness and precision for its implementation is challenging. Complex algorithms and sophisticated optimizations make static analyzers difficult to implement and test.

BibTeX

@inproceedings{Bugariu-al:ASE18,
  author    = {Alexandra Bugariu and
               Valentin W{\"{u}}stholz and
               Maria Christakis and
               Peter M{\"{u}}ller},
  title     = {Automatically testing implementations of numerical abstract domains},
  booktitle = {ASE},
  pages     = {768--778},
  publisher = {{ACM}},
  year      = {2018},
}

Automatically testing implementations of numerical abstract domains

Abstract

Related papers