Failure-directed program trimming

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

Abstract

This paper describes a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. Given a program P, program trimming generates a new program P' such that P and P' are equi-safe (i.e., P' has a bug if and only if P has a bug), but P' has fewer execution paths than P. Since many program analyzers are sensitive to the number of execution paths, program trimming has the potential to improve the effectiveness of safety checking tools.

BibTeX

@inproceedings{Ferles-al:FSE17,
  author    = {Kostas Ferles and
               Valentin W{\"{u}}stholz and
               Maria Christakis and
               Isil Dillig},
  title     = {Failure-directed program trimming},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {174--185},
  publisher = {{ACM}},
  year      = {2017},
}

Failure-directed program trimming

Abstract

Related papers