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

Täydet tiedot

Bibliografiset tiedot
Julkaisussa:Software engineering notes. 31, 1 (2006).
Päätekijä: Hampapuram, Hari
Aineistotyyppi: Artikkeli
Kieli:English
Aiheet:
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.