-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathrun_twinner.sh
More file actions
executable file
·4 lines (4 loc) · 1022 Bytes
/
run_twinner.sh
File metadata and controls
executable file
·4 lines (4 loc) · 1022 Bytes
1
2
3
4
#sudo su sandbox -c "rm -f ./tmp/twinner/*"
sudo su sandbox -c "./obj-intel64/Twinner --input ./obj-intel64/input3.vo.out --args '--left 3 --right 5' --number-of-traces 15 --pin-launcher ../../../pin.sh --tool ./obj-intel64/TwinTool.so -o ./tmp/twinner/unpacked.twin.c --tmpfolder ./tmp --safe-functions 'puts@0x400450#auto,printf@0x4006e0#auto,strcmp@0x400740#2{const char *^s!const char *^s}' --generate-etg ./tmp/twinner/etg.dot --main --verbose $@"
#sudo su sandbox -c "./obj-intel64/Twinner --input ./obj-intel64/runtime-simplification.out --args '2' --pin-launcher ../../../pin.sh --tool ./obj-intel64/TwinTool.so -o /tmp/twinner/unpacked.twin.c --safe-functions 'printf@0x400460#auto,puts@0x400450#1{const char *}' --main --verbose $@"
#sudo su sandbox -c "./obj-intel64/Twinner --input ./obj-intel64/runtime-simplification.out --args '2' --pin-launcher ../../../pin.sh --tool ./obj-intel64/TwinTool.so -o /tmp/twinner/unpacked.twin.c --safe-functions 'printf@0x400460#auto,puts@0x400450#auto' --main --verbose $@"