Portal de Periódicos da CAPES

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language

2012; Elsevier BV; Volume: 289; Linguagem: Inglês

10.1016/j.entcs.2012.11.006

1571-0661

Alexander Sepp, Julian Kranz, Axel Simon,

Formal Methods in Verification

The analysis of executable code requires the reconstruction of instructions from a sequence of bytes (or words) and a specification of their semantics. Most front-ends addressing this problem only support a single architecture, are bound to a specific programming language, or are hard to maintain. In this work, we present a domain specific language (DSL) called GDSL (Generic Decoder Specification Language) for specifying maintainable instruction decoders and the translation of instructions to a semantics. We motivate its design by illustrating its use for the Intel x86 platform. A compiler is presented that generates C code that rivals hand-crafted decoder implementations.