Checking cleanness in linked lists (2000)

by N Dor, M Rodeh, M Sagiv
Venue:In SAS’00, Static Analysis Symposium