An abstract domain for analyzing heap-manipulating low-level software (2007)

by Sumit Gulwani , Ashish Tiwari
Venue:In CAV
Citations:17 - 0 self