Thanassis Avgerinos

TIE: Principled Reverse Engineering of Types in Binary Programs

2018 · Figshare

A recurring problem in security is reverse engineering binary code to recover high-level language data abstractions and types. High-level programming languages have data abstractions such as buffers, structures, and local variables that all help programmers …