Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures

Lukas Seidel, Sam Thomas, Konrad Rieck

The recovery of types from stripped binaries is a key to exact decompilation, yet its practical realization suffers. For composite structures in particular, both layout and semanti…