-
Notifications
You must be signed in to change notification settings - Fork 9
Home
This repo holds the simple tracer evaluation tool. In the future other tools will be added here.
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.
$ git clone https://<your_user_here>@bitbucket.org/symexec/simpletracer.git
... and follow the instructions in the README file.