Checking memory safety with Blast (2005)

by D Beyer, T A Henzinger, R Jhala, R Majumdar
Venue:In ICFASE, volume 3442