Symbolic path simulation in path-sensitive dataflow analysis.

Symbolic path simulation in path-sensitive dataflow analysis.

Symbolic path simulation is becoming an increasingly important component in many static analysis tasks. The emergence of inter-procedural path-sensitive dataflow algorithms has both raised the demands and posed new challenges for effective techniques in path feasibility analysis.This paper develops...

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 31, 1 (2006).
Tác giả chính: Hampapuram, Hari
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Software.
Software engineering.
Software / Program Verification.
Testing and debugging.
Theory of computation.
Logics and meanings of programs.
Specifying and Verifying and Reasoning about Programs.
Reliability.
Verification.
Dataflow analysis.
Path feasibility.
Symbolic simulation.