Extended static checking. Research Report 159 (1998)

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