Proceedings of ISP RAS


Modeling operational semantics of machine instructions.

V.A. Padaryan, M.A. Soloviev, A.I. Kononov.

Abstract

This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the model allows efficiently perform various optimizations. The target architectures are described by external specifications. We present a prototype subsystem for interpretation of the described model.

Keywords

reverse engineering, binary code, intermediate representation.

Edition

Proceedings of the Institute for System Programming, vol. 19, 2010, Стр. 165-186.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume