DMCA
Symbolic path simulation in path-sensitive dataflow analysis (2005)
| Venue: | IN: PROC. OF 6TH ACM SIGPLAN-SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING (PASTE |
| Citations: | 6 - 1 self |
BibTeX
@INPROCEEDINGS{Hampapuram05symbolicpath,
author = {Hari Hampapuram and Yue Yang and Manuvir Das},
title = { Symbolic path simulation in path-sensitive dataflow analysis},
booktitle = {IN: PROC. OF 6TH ACM SIGPLAN-SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING (PASTE},
year = {2005},
pages = {52--58},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Symbolic path simulation is becoming an increasingly important component in many static analysis tasks. The eme-gence 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 a general-purpose path simulator and applies it to support path-sensitive dataflow analysis. The core component of the path simulator is a simulation en-gine that supports a wide variety of programming language features. This simulation engine can be "wrapped" with an interface layer to support a given client application. As a concrete case study, we discuss the experiences gained in integrating the path simulator with ESP, a software validation tool for C/C++ programs. We apply ESP to validate a future version of Windows against critical security properties. Our results show that the global path simula-tion mechanism is both critical in improving precision and scalable enough to be of practical use.
Keyphrases
symbolic path simulation path-sensitive dataflow analysis path simulator core component critical security property interface layer concrete case study client application practical use im-portant component inter-procedural path-sensitive data ow algorithm path feasibility analysis language feature ective technique software val-idation tool path-sensitive data ow analysis future version simulation en-gine simulation engine new challenge many static analysis task general-purpose path simulator wide variety global path simula-tion mechanism
