Toward Automatic Heap Exploit Generation by Using Heap Layout Constraints on Binary Programs. - Jie Liu; Lianda Yao; Yanqi Li; Hongliang Liang (IEEE Trans. Inf. Forensics Secur., 2025)