ESP: Pathsensitive program verification in polynomial time (2002)

by Manuvir Das, Sorin Lerner, Mark Seigle
Venue:In Proc. ACM PLDI