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

fix snakefile

Browse Source
This commit is contained in:
Alwin Berger 2024-05-21 01:51:54 +02:00
parent 21c97c8484
commit 5edb6e5677
1 changed files with 8 additions and 41 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
fuzzers/FRET/benchmark/Snakefile
View File

@ -1,6 +1,6 @@
import csv import csv
import os import os
def_flags="--no-default-features --features std,snapshot_restore,singlecore,restarting,no_hash_state" def_flags="--no-default-features --features std,snapshot_restore,singlecore,restarting,do_hash_notify_state"
remote="timedump_253048_1873f6_all/" remote="timedump_253048_1873f6_all/"
RUNTIME=7600 RUNTIME=7600
TARGET_REPS_A=2 TARGET_REPS_A=2
@ -24,12 +24,6 @@ rule build_random:
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_longest" "cargo build --target-dir {output} {def_flags},feed_longest"
rule build_feedlongest:
output:
directory("bins/target_feedlongest")
shell:
"cargo build --target-dir {output} {def_flags},feed_longest"
rule build_frafl: rule build_frafl:
output: output:
directory("bins/target_frafl") directory("bins/target_frafl")
@ -42,30 +36,12 @@ rule build_afl:
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_afl,observer_hitcounts" "cargo build --target-dir {output} {def_flags},feed_afl,observer_hitcounts"
rule build_state:
output:
directory("bins/target_state")
shell:
"cargo build --target-dir {output} {def_flags},feed_systemtrace,trace_abbs"
rule build_stg: rule build_stg:
output: output:
directory("bins/target_stg") directory("bins/target_stg")
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_stg" "cargo build --target-dir {output} {def_flags},feed_stg"
rule build_nohashstate:
output:
directory("bins/target_nohashstate")
shell:
"cargo build --target-dir {output} {def_flags},feed_systemtrace,no_hash_state"
rule build_graph:
output:
directory("bins/target_graph")
shell:
"cargo build --target-dir {output} {def_flags},feed_systemgraph"
rule build_showmap_int: rule build_showmap_int:
output: output:
directory("bins/target_showmap_int") directory("bins/target_showmap_int")
@ -78,17 +54,6 @@ rule build_random_int:
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_longest,fuzz_int" "cargo build --target-dir {output} {def_flags},feed_longest,fuzz_int"
rule build_state_int:
output:
directory("bins/target_state_int")
shell:
"cargo build --target-dir {output} {def_flags},feed_systemtrace,fuzz_int"
rule build_nohashstate_int:
output:
directory("bins/target_nohashstate_int")
shell:
"cargo build --target-dir {output} {def_flags},feed_systemtrace,fuzz_int,no_hash_state"
rule build_frafl_int: rule build_frafl_int:
output: output:
@ -102,11 +67,11 @@ rule build_afl_int:
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_afl,fuzz_int,observer_hitcounts" "cargo build --target-dir {output} {def_flags},feed_afl,fuzz_int,observer_hitcounts"
rule build_feedlongest_int: rule build_stg_int:
output: output:
directory("bins/target_feedlongest_int") directory("bins/target_stg_int")
shell: shell:
"cargo build --target-dir {output} {def_flags},feed_longest,fuzz_int" "cargo build --target-dir {output} {def_flags},feed_stg,fuzz_int"
rule build_feedgeneration1: rule build_feedgeneration1:
output: output:
@ -268,8 +233,10 @@ rule clusterfuzz:
rule all_new: rule all_new:
input: input:
expand("timedump/{fuzzer}/{target}#{num}.time", fuzzer=['feedgeneration100', 'frafl', 'state', 'stg'], target=['waters', 'watersv2'],num=range(0,3)) expand("timedump/{fuzzer}/{target}#{num}.time", fuzzer=['random', 'feedgeneration100', 'frafl', 'stg'], target=['waters', 'watersv2', 'interact'],num=range(0,2)),
expand("timedump/{fuzzer}/{target}#{num}.time", fuzzer=['random_int', 'feedgeneration100_int', 'frafl_int', 'stg_int'], target=['waters_int', 'watersv2_int', 'interact_int'],num=range(0,3))
rule all_bins: rule all_bins:
input: input:
expand("bins/target_{target}{flag}",target=['random','afl','frafl','state','feedgeneration100'],flag=['','_int']) expand("bins/target_{target}{flag}",target=['random','frafl','stg','feedgeneration100'],flag=['','_int'])