Principled Reverse Engineering of Types in Binary Programs

A recurring problem in security is reverse engineering binary code to recover high-level language data abstractions and types. We develop novel techniques for reverse engineering data type abstractions. At the heart of our approach is a type reconstruction system based upon binary code analysis. Our results show TIE is both more conservative and more accurate than existing mechanisms.