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

by H Hampapuram, Y Yang, M Das
Venue:In Proc. of 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE