diff options
-rwxr-xr-x | _run.sh | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -0,0 +1,13 @@ +echo 'Generating random numbers from original code:' +./test.sh results-original +echo 'Original code generating DONE' +echo 'Generating random numbers from patched code:' +./test.sh results-patched -patched +echo 'Patched code generating DONE' +find -name \*.dump | while read DUMPFILE +do + echo -n 'Analyzing bitwise differences (diffusion) for ' $DUMPFILE '...' + python analyze.py $DUMPFILE > $DUMPFILE.diffs + echo ' DONE' +done +echo 'Analysis finished.' |