Symbolic interpretation of legacy assembly language
Carette, J.
Chowdhury, P.K.
Dept. of Comput. & Software, McMaster Univ., Hamilton, Ont., Canada;
This paper appears in: Reverse Engineering, 12th Working Conference on
Publication Date: 7-11 Nov. 2005
On page(s): 10 pp.-
ISSN: 1095-1350
ISBN: 0-7695-2474-5
INSPEC Accession Number: 8978830
Digital Object Identifier: 10.1109/WCRE.2005.31
Current Version Published: 2006-01-03
Abstract
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.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
