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 f988f46003
commit b50f38b4a9
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 TIME_DUMP=$(pwd)/{output[0]}
export CASE_DUMP=$(pwd)/{output[2]}
export TRACE_DUMP=$(pwd)/{output[0]}.trace
export FUZZ_ITERS=10800
export FUZZER=$(pwd)/{input[1]}/debug/fret
set +e
../fuzzer.sh > {output[1]} 2>&1
exit 0
"""
if wildcards.fuzzer == 'random':
if wildcards.fuzzer.find('random') >= 0:
script="export FUZZ_RANDOM=1\n"+script
shell(script)
@ -144,7 +145,7 @@ rule run_showmap:
../fuzzer.sh
exit 0
"""
if wildcards.fuzzer == 'random':
if wildcards.fuzzer.find('random') >= 0:
script="export FUZZ_RANDOM=1\n"+script
shell(script)