VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION

VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION

Subject of Research. The paper presents the study of vulnerability exploitation techniques in the implementation of dynamic memory allocation algorithms (glibc library allocator): Poisoned Null-byte, Overlapped Chunks, Fastbin Attack, Unsafe Unlink, House of Einherjar, House of Force, House of Spiri...

Full description

Bibliographic Details
Main Authors: Andrey M. Dergachev, Daniil S. Sadyrin, Aglaya G. Ilina, Ivan P. Loginov, Iurii D. Korenkov
Format: Article
Language:English
Published: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO University) 2020-02-01
Series:Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki
Subjects:
verification
software errors
symbolic execution
dynamic memory
Online Access:https://ntv.ifmo.ru/file/article/19346.pdf

Internet

https://ntv.ifmo.ru/file/article/19346.pdf

Similar Items