CFCSS pintool
This tool uses Intel® Pin to inject control-flow faults that my implementation of CFCSS in LLVM is designed to detect.
The scope of the tool is limited to the types of faults presented for evaluation of CFCSS in the original paper under IV. Simulation Results.
Usage
to be written