Extended static checking (1998)

by David L Detlefs, K Rustan M Leino, Greg Nelson, James B Saxe