PSE: explaining program failures via postmortem static analysis

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang

Abstract

In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires minimal information about a failure, namely its kind (e.g. NULL dereference), and its location in the program's source code. It produces a set of execution traces along which the program can be driven to the given failure.

BibTeX

@inproceedings{Manevich-al:FSE04,
  author    = {Roman Manevich and
               Manu Sridharan and
               Stephen Adams and
               Manuvir Das and
               Zhe Yang},
  title     = {{PSE:} explaining program failures via postmortem static analysis},
  booktitle = {FSE},
  pages     = {63--72},
  publisher = {{ACM}},
  year      = {2004},
}

PSE: explaining program failures via postmortem static analysis

Abstract

Related papers