基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究
张利群, 潘祖烈, 黄晖, 王瑞鹏, 李阳
Research on Automatic Verification Method of Tcache Poisoning Heap Vulnerability Based on Symbolic Execution
ZHANG Liqun, PAN Zulie, HUANG Hui, WANG Ruipeng, LI Yang
计算机工程
.
2023, (6): 24
-33
.
DOI: 10.19678/j.issn.1000-3428.0064958