Binary tracing