Extended static checking (1998)

by D L Detlefs, K R M Leino, G Nelson, J B Saxe