gazagnaire.org
OCaml wire format DSL with EverParse 3D output for verified parsers
fix(fuzz): add gen_corpus and runtest rules to remaining fuzz directories (E718, E724)
+10
-7
+10
-7
fuzz/dune
+10
-7
fuzz/dune
···
3
3
(modules fuzz_wire)
4
4
(libraries wire crowbar))
5
5
6
-
; Quick check with Crowbar (no AFL instrumentation)
6
+
(executable
7
+
(name gen_corpus)
8
+
(modules gen_corpus))
7
9
8
10
(rule
9
-
(alias fuzz)
11
+
(alias runtest)
10
12
(deps fuzz_wire.exe)
11
13
(action
12
14
(run %{exe:fuzz_wire.exe})))
13
15
14
-
; AFL-instrumented build target (use with --profile=afl)
15
-
16
16
(rule
17
-
(alias fuzz-afl)
17
+
(alias fuzz)
18
+
(enabled_if
19
+
(= %{profile} afl))
18
20
(deps
19
-
(source_tree input)
20
-
fuzz_wire.exe)
21
+
(source_tree corpus)
22
+
fuzz_wire.exe
23
+
gen_corpus.exe)
21
24
(action
22
25
(echo "AFL fuzzer built: %{exe:fuzz_wire.exe}\n")))