Checking cleanness in linked lists (2000)

by N Dor, M Rodeh, M Sagiv
Venue:In Proc. Static Analysis Symp