Our Evaluation

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

Known Issues

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.