Automatic Inference of Heap Properties Exploiting Value Domains.

Pietro Ferrara, Peter Mller, Milos Novcek

Browse the full VMCAI paper archive.