Configurable instrumentation of LLVM bitcode
Release for the Master's Thesis
This version was used to take measurement for the paper on SPIN 2017