Symbolic path simulation in path-sensitive dataflow analysis. - Hari Hampapuram; Yue Yang; Manuvir Das (PASTE, 2005)