Research on Automatic Verification Method of Tcache Poisoning Heap Vulnerability Based on Symbolic Execution

Tcache Poisoning is a kind of heap poisoning exploitation method for heap management.The existing automatic exploitation methods do not consider the impact of this new mechanism and can not be applied for exploiting heap vulnerabilities under higher versions of Glibc.To overcome these drawbacks，an i...

Descripción completa

Detalles Bibliográficos

Autor principal:	ZHANG Liqun, PAN Zulie, HUANG Hui, WANG Ruipeng, LI Yang
Formato:	Artigo
Lenguaje:	Inglês
Publicado:	Editorial Office of Computer Engineering 2023-06-01
Colección:	Jisuanji gongcheng
Materias:	heap vulnerability|tcache poisoning method|symbolic execution|vulnerability automatic verification|constraint construction
Acceso en línea:	https://www.ecice06.com/fileup/1000-3428/PDF/1686388686969-1003505819.pdf
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!