CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
fix(lint): resolve E718 fuzz helper naming, E616 failf, and monopam cleanup
Update E718 rule and cram tests. Fix remaining E616 fail+Fmt.str
instances. Add gen_corpus.ml helpers for fuzz directories. Clean up
monopam import module.
+31
+5
fuzz/dune
+5
fuzz/dune
+26
fuzz/gen_corpus.ml
+26
fuzz/gen_corpus.ml
···
1
+
(** Generate seed corpus for CFDP checksum 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; close_out oc
9
+
in
10
+
(* Empty input *)
11
+
write "seed_000" "";
12
+
(* All zeros - 4 bytes *)
13
+
write "seed_001" "\x00\x00\x00\x00";
14
+
(* All ones - 4 bytes *)
15
+
write "seed_002" "\xff\xff\xff\xff";
16
+
(* Incrementing bytes *)
17
+
write "seed_003" "\x01\x02\x03\x04\x05\x06\x07\x08";
18
+
(* Alternating bit pattern *)
19
+
write "seed_004" "\xaa\x55\xaa\x55";
20
+
(* Single byte *)
21
+
write "seed_005" "\x42";
22
+
(* 16 bytes of mixed data *)
23
+
write "seed_006" "\x00\x01\x02\x03\x10\x20\x30\x40\x80\x90\xa0\xb0\xc0\xd0\xe0\xf0";
24
+
(* Odd-length input *)
25
+
write "seed_007" "\xde\xad\xbe\xef\x01";
26
+
print_endline "Generated 8 seed files in corpus/"