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

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 29, 6 (2004).
Tác giả chính:	Manevich, Roman
Định dạng:	Bài viết
Ngôn ngữ:	Tiếng Anh
Những chủ đề:	Software. Software engineering. Software / Program Verification. Testing and debugging. Algorithms. Reliability. Security. Verification. Alias Analysis. Postmortem analysis. Typestate. Value flow.