SemanticsCli

Name

semantics-cli - command line tool that invokes a GDSL decoder and semantic translator

Synopsis

semantics-cli [-m] [-d]

Description

The semantics-cli tool reads a machine instruction given as a sequence of hexadecimal constants from its standard input and afterwards calls a GDSL decoding and semantic translator functions in order to decode and translate it into value semantics. The resulting machine instruction object and RReil code is printed using the associated GDSL pretty printers. The tool can either be compiled to be generically usable with any decoder and translator or to be tied to X86.

Command Line Options

Option	Description
-m	(X86 version only) Configure the decoder to use mode32 instead of mode64
-d	(X86 version only) Configure the decoder not to use 32 bits as the standard operand size