PSE explaining program failures via postmortem static analysis.

PSE explaining program failures via postmortem static analysis.

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 sour...

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:Software engineering notes. 29, 6 (2004).
Príomhchruthaitheoir: Manevich, Roman
Formáid: Alt
Teanga:English
Ábhair:
Software.
Software engineering.
Software / Program Verification.
Testing and debugging.
Algorithms.
Reliability.
Security.
Verification.
Alias Analysis.
Postmortem analysis.
Typestate.
Value flow.