Datensatz als E-Mail versenden: Research on Automatic Verification Method of Tcache Poisoning Heap Vulnerability Based on Symbolic Execution