Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 

README.md

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.

Analyzing NIST SARD Programs

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

Analyzing A Designed Program

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.