SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

snakefile: dump cases, fix random fuzzing

Browse Source
This commit is contained in:
Alwin Berger 2023-03-17 11:15:55 +01:00
parent 6e8769907d
commit c548c6bc09
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
fuzzers/FRET/benchmark/Snakefile
View File

@ -100,13 +100,14 @@ rule run_bench:
export SEED_RANDOM={wildcards.num} export SEED_RANDOM={wildcards.num}
export TIME_DUMP=$(pwd)/{output[0]} export TIME_DUMP=$(pwd)/{output[0]}
export CASE_DUMP=$(pwd)/{output[2]} export CASE_DUMP=$(pwd)/{output[2]}
export TRACE_DUMP=$(pwd)/{output[0]}.trace
export FUZZ_ITERS=10800 export FUZZ_ITERS=10800
export FUZZER=$(pwd)/{input[1]}/debug/fret export FUZZER=$(pwd)/{input[1]}/debug/fret
set +e set +e
../fuzzer.sh > {output[1]} 2>&1 ../fuzzer.sh > {output[1]} 2>&1
exit 0 exit 0
""" """
if wildcards.fuzzer == 'random': if wildcards.fuzzer.find('random') >= 0:
script="export FUZZ_RANDOM=1\n"+script script="export FUZZ_RANDOM=1\n"+script
shell(script) shell(script)
@ -144,7 +145,7 @@ rule run_showmap:
../fuzzer.sh ../fuzzer.sh
exit 0 exit 0
""" """
if wildcards.fuzzer == 'random': if wildcards.fuzzer.find('random') >= 0:
script="export FUZZ_RANDOM=1\n"+script script="export FUZZ_RANDOM=1\n"+script
shell(script) shell(script)