Conference
Symbolic Interpretation of Legacy Assembly Language
Abstract
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-J800 programs in detail. From the documented operational semantics of the IBM-J800, 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 …
Authors
Carette J; Chowdhury PK
Pagination
pp. 23-32
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2005
DOI
10.1109/wcre.2005.31
Name of conference
12th Working Conference on Reverse Engineering (WCRE'05)