This directory contains the files used to generate the figure for Bzip2 in the paper.
all_gadgets.log contains output from TaintChannel on Bzip2, for_figure.log is a truncated version of all_gadgets.log, and [log2svg.sh] converts for_figure.log into the svg that is included in the paper.