SemanticsCliDynamic

Name

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

Synopsis

semantics-cli-dynamic

Description

The semantics-cli-dynamic 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 GDSL decoder and translator are loaded dynamically at runtime. In order to do this, the tool searches the path found in the GDSL_FRONTENDS variable for shared libraries containing such a decoder and translator.

Command Line Options

The tool does not expect any command line options.

Environment Variables

Variable	Description
GDSL_FRONTENDS	Path to a folder containing different GDSL frontends the user may choose from