To reproduce the results of NIST SARD benchmarks, you can use the benchmarks_running.py file, and for testing the designed program, you can use the complex_program_running.py file.
Note that our implemented tool uses x64 binary code for analyzing C programs. Compile benchmark programs using the below command:
cd samples; chmod +x executable.sh; ./executable.sh
Run shellscript:
cd .. ; chmod +x benchmarks_running.py; ./benchmarks_running.py
gcc ./samples/program.c -o program
Run shellscript:
chmod +x complex_program_running.py; ./complex_program_running.py
You may get the error:
PermissionError: [Errno 13] Permission denied: '~/Heap-Overflow-Detection/Project_Files/source/learning/./tar3/source/tar3/tar3'
You can fix it by granting the execution permission to the tar3 file.