Precise Compositional Buffer Overflow Detection via Heap Disjointness.

Yiyuan Guo, Peisen Yao, Charles Zhang

Browse the full ISSTA paper archive.