Precise Compositional Buffer Overflow Detection via Heap Disjointness - Yiyuan Guo; Peisen Yao; Charles Zhang (Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024)