12th Working Conference on Reverse Engineering (WCRE 2005)
Symbolic Interpretation of Legacy Assembly Language
Pittsburgh, Pennsylvania
November 07-November 11
ISBN: 0-7695-2474-5
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. From the documented operational semantics of the IBM-1800, we simultaneously obtain an emulator and a symbolic analysis program. Augmented with some control flow information, we can use the symbolic analysis to provide both complete and generic semantics for some interesting code sequences.