Block device abstraction for OCaml 5 with Eio direct-style I/O and Bytesrw integration
Migrate from vendored crowbar to opam-pinned alcobar
- Remove vendored crowbar/ directory
- Replace all Crowbar references with Alcobar across 176 .ml files
- Update all fuzz dune files: crowbar → alcobar in libraries
- Remove 77 gen_corpus.ml files (alcobar handles corpus internally)
- Update dune-project files: crowbar → alcobar in dependencies
- Update merlint rules (e705, e726): Crowbar → Alcobar in checks,
docs, and examples
- Update merlint generated docs (index.html)
428 files changed, ~1200 lines removed net.
+5
-39
+2
-8
fuzz/dune
+2
-8
fuzz/dune
···
6
6
(executable
7
7
(name fuzz)
8
8
(modules fuzz fuzz_block)
9
-
(libraries block crowbar))
9
+
(libraries block alcobar))
10
10
11
11
(rule
12
12
(alias runtest)
···
22
22
(= %{profile} afl))
23
23
(deps
24
24
(source_tree corpus)
25
-
fuzz.exe
26
-
gen_corpus.exe)
25
+
fuzz.exe)
27
26
(action
28
27
(echo "AFL fuzzer built: %{exe:fuzz.exe}\n")))
29
-
30
-
(executable
31
-
(name gen_corpus)
32
-
(modules gen_corpus)
33
-
(libraries unix))
+1
-1
fuzz/fuzz.ml
+1
-1
fuzz/fuzz.ml
+1
-1
fuzz/fuzz_block.ml
+1
-1
fuzz/fuzz_block.ml
+1
-1
fuzz/fuzz_block.mli
+1
-1
fuzz/fuzz_block.mli
-28
fuzz/gen_corpus.ml
-28
fuzz/gen_corpus.ml
···
1
-
(** Generate seed corpus for fuzz testing. *)
2
-
3
-
let () =
4
-
(try Unix.mkdir "corpus" 0o755
5
-
with Unix.Unix_error (Unix.EEXIST, _, _) -> ());
6
-
let write name data =
7
-
let oc = open_out_bin (Filename.concat "corpus" name) in
8
-
output_string oc data;
9
-
close_out oc
10
-
in
11
-
(* Empty input *)
12
-
write "seed_000" "";
13
-
(* Single zero byte *)
14
-
write "seed_001" "\x00";
15
-
(* 512-byte sector of zeros (standard sector size) *)
16
-
write "seed_002" (String.make 512 '\x00');
17
-
(* 512-byte sector of 0xFF *)
18
-
write "seed_003" (String.make 512 '\xFF');
19
-
(* 512-byte sector with ascending byte pattern *)
20
-
write "seed_004" (String.init 512 (fun i -> Char.chr (i land 0xFF)));
21
-
(* Short data for sub-sector tests *)
22
-
write "seed_005" (String.make 64 '\xAB');
23
-
(* Two sectors worth of alternating pattern *)
24
-
write "seed_006"
25
-
(String.init 1024 (fun i -> if i mod 2 = 0 then '\xDE' else '\xAD'));
26
-
(* 4096-byte sector (common large sector size) *)
27
-
write "seed_007" (String.make 4096 '\x42');
28
-
print_endline "gen_corpus: wrote 8 block seed files"