Home

Welcome

This repo holds the simple tracer evaluation tool. In the future other tools will be added here.

The simple tracer

The simple tracer performs binary tracing at a basic block level. The tracer has two mandatory inputs:

• The exercised binary.
• Input data for the exercised binary.

The tracer outputs a trace file containing lines adhering to the following format:

<module> + <hex_offset> (<block_cost>)

Where:

• is the module where the code resides. The marker ??? is used, if executed code resides outside any known module.

• <hex_offset> is the basic block's offset inside the module. If the BB is outside any module, hex_offset is an absolute virtual address.

• <block_cost> is the basic block's "cost". So far this corresponds to the number of executed instructions, but may change or be configurable in future versions.

Please see usage for a detailed description of the command-line arguments.

Getting started

$ git clone https://<your_user_here>@bitbucket.org/symexec/simpletracer.git

... and follow the instructions in the README file.