#!/bin/sh

python3 -c 'print("*"*1600, end="")' >id_mars1

make
$PIN_ROOT/pin -t obj-intel64/tainttool.so -i id_mars1 -- ./mars_ssh -v -i id_mars1 2>&1| python3 analyse_output.py >deduced_id_mars1

mv -f deduced_id_mars1 id_mars1
