SemanticsCifCli

Name

semantics-cif-cli - command line tool that demonstrates the GDSL RReil C interface

Synopsis

semantics-cif-cli

Description

The semantics-cif-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 RReil code is then used to demonstrate the functionality of the GDSL RReil C interface. The interface allows a C program to specify a callback function for each RReil AST node type. This makes it easy for a C program to rebuild the AST using self-defined data structures. The approach is also well-suited for the implementation of adapter libraries that interface a GDSL program with a program written in other languages, e.g. Java.

Command Line Options

The tool does not expect any command line options.