Utilities for generating dynamic traces
Branch: master
Clone or download
Type Name Latest commit message Commit time
Failed to load latest commit information.
info add information about how pages are allocated in the DECREE vm Jun 27, 2016
.gitlab-ci.yml Enable tests for alphack Sep 15, 2016
requirements.txt update tracer to angr-simuvex merge Jul 7, 2017



This package is in a bit of a complicated transition phase - it originally housed the concolic tracing helpers for angr, but those pieces of code have since been merged into angr proper. Now, there are still deprecated compatibility layers for this functionality, but the real purpose of this repository should be a set of tools to provide a consistent API for various dynamic trace backends.

The only one currently available is based on qemu-user - tracer.QEMURunner. It relies on some special builds of qemu we've hacked to actually output these traces without the normal problems you sometimes see from qemu's traces with respect to basic block consolidation and optimization.


If you have QEMU compilation problems, installing these packages may be useful (tested on Ubuntu 14.04 64bit):

apt-get build-dep qemu-system
apt-get install libacl1-dev