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

Full beskrivning

Bibliografiska uppgifter

I publikationen:	Software engineering notes. 31, 1 (2006).
Huvudupphovsman:	Hampapuram, Hari
Materialtyp:	Artikel
Språk:	English
Ämnen:	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.