1. Fork Profiler

The fork profiler tool lists all the program counters that caused a fork. This allows to quickly identify the hot spots that cause path explosion problems.

1.1. Examples

The following command will generate a forkprofile.txt file and place it in the s2e-last folder.

$ /home/s2e/tools/Release/bin/forkprofiler -trace=s2e-last/ExecutionTracer.dat -outputdir=s2e-last/ \
  -moddir=/home/s2e/experiments/rtl8139.sys/driver -moddir=/home/s2e/experiments/rtl8029.sys/driver

1.2. Required Plugins

• ExecutionTracer

1.3. Optional Plugins

• ModuleTracer (for debug information)