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...
| Wydane w: | Software engineering notes. 31, 1 (2006). |
|---|---|
| 1. autor: | |
| Format: | Artykuł |
| Język: | English |
| Hasła przedmiotowe: |