Dirk Beyer Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Checking Memory Safety with Blast. 2-18 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=2 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#BeyerHJM05