ExecutionTracer plugin is the main tracing plugin. This plugin saves a binary trace file in the
s2e-last/ExecutionTracer.dat file. This file is composed of generic trace items. Each item can have an arbitrary
format, determined by the various client tracing plugins. The client plugins call the
ExecutionTracer’s API to
write trace items.
ExecutionTracer records the program counters where fork occurs. This allows offline analysis tools to
rebuild the execution tree and provide per-path analyses.
This plugin does not have any options.