Symbolic pointer analysis revisited (2004)

by J Zhu, S Calman
Venue:In PLDI’04