A thread error detector built on top of DynamoRIO.
mkdir build && cd build
cmake ../
make
./ariadne.sh < program > < program parameters >