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
ABSTRACT
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.
INDEX TERMS
disassembly, decompilation, type system
CITATION
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))