The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Suttgart, Germany
Oct. 2, 2001 to Oct. 5, 2001
ISSN: 1095-1350
ISBN: 0-7695-1303-4
pp: 357
This paper describes a type system used in a disassembler program to produce enhanced disassembly output. The type system described herein is capable of representing C language types. It operates using the following methodology. First, the type information is collected from the standard C headers and is stored in type library files. The stored information is then used to comment and enhance the disassembly. A simple propagation algorithm for function arguments is described as an illustration of the functionality of the system. The power of the type system presented is that a decompiler can be constructed using a disassembler augmented by this system.
disassembly, decompilation, type system
I. Guilfanov, "A Simple Type System for Program Reengineering", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 357, 2001, doi:10.1109/WCRE.2001.957843
96 ms
(Ver 3.3 (11022016))