This directory includes a sample output from TaintChannel on Zlib, and code to generate the figure in the paper.
all_gadgets.log is the output from TaintChannel.
for_figure.log is a section from all_gadgets.log that we used in the figure.
log2svg.sh converts all_gadgets.log into svg.