Ryan Vrecenar

Type recovery in stripped binaries: a comprehensive survey of inference tools and methods

Understanding binary programs is challenging due to the loss of high-level abstractions during compilation. Type inference plays a key role in recovering information such as variable types, data structures, and class hierarchies, which is crucial for reverse engineering (RE), decompilation, and security analysis. This...