Extended static checking (1998)

by D Detlefs, R Leino, G Nelson, J Saxe