An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.

Sumit Gulwani, Ashish Tiwari

Browse the full CAV paper archive.