DMCA

Symbolic path simulation in path-sensitive dataflow analysis (2005)

by Hari Hampapuram , Yue Yang , Manuvir Das
Venue:IN: PROC. OF 6TH ACM SIGPLAN-SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING (PASTE
Citations:6 - 1 self