Symbolic Interpretation of Legacy Assembly Language

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.

• Type: Conference
• Year: 2005
• Where: WCRE
• Authors: Jacques Carette, Pulak Kumar Chowdhury
• Keywords: Reverse Engineering, Symbolic Analysis, Symbolic Analysis Program, Symbolic Interpretation Techniques, WCRE 2005