Extended static checking (1998)

by David L Detlefs, K Rustan M Leino, Greg Nelson, James B Saxe
Venue:SRC Research Report 159, Compaq Systems Research Center, 130 Lytton