ocaml-ipam/fuzz/ at main · gazagnaire.org/ocaml-ipam · Tangled

gazagnaire.org / ocaml-ipam

0

IP address management: CIDR pools and per-pool allocation

0

ocaml-ipam / fuzz /

at main 4 files

Thomas Gazagnaire fix merlint issues across packages 2mo ago

ipam: new two-level IP address manager modelled on libnetwork Pool allocates addresses within one CIDR; the allocator carves pools from predefined networks and rejects overlaps. Occupancy lives in ewah bitmaps keyed by host ordinal, so a sparse /8 or /64 costs only the addresses in use. Reserves network/broadcast (IPv4, RFC 3021 aside) and the Subnet-Router anycast (IPv6, RFC 4291). Pure: mutators return a new value so state can be snapshotted. Verified against moby's defaultipam via a Go oracle in test/interop/moby: a replayed operation trace matches byte-for-byte. Spec tests cite the libnetwork test vectors and the RFCs; alcobar fuzz and an MDX'd README round it out.

2 months ago

ipam: new two-level IP address manager modelled on libnetwork Pool allocates addresses within one CIDR; the allocator carves pools from predefined networks and rejects overlaps. Occupancy lives in ewah bitmaps keyed by host ordinal, so a sparse /8 or /64 costs only the addresses in use. Reserves network/broadcast (IPv4, RFC 3021 aside) and the Subnet-Router anycast (IPv6, RFC 4291). Pure: mutators return a new value so state can be snapshotted. Verified against moby's defaultipam via a Go oracle in test/interop/moby: a replayed operation trace matches byte-for-byte. Spec tests cite the libnetwork test vectors and the RFCs; alcobar fuzz and an MDX'd README round it out.

2 months ago

fix merlint issues across packages - initramfs: Format.asprintf -> Fmt.invalid_arg (add fmt dep); drop the redundant find_ prefix on the test helper. - ipam (fuzz): wrap of_string_exn with Fmt.kstr instead of Fmt.str. - pe: extract the optional-header field lists and the EFI optional header so the codec definitions fall under the function-length threshold; move Alcotest.run into test.ml and export a suite from test_pe. - respond (bench): replace catch-all exception handlers with a bounds-checked int_of_string_opt argument reader.

2 months ago

ipam: new two-level IP address manager modelled on libnetwork Pool allocates addresses within one CIDR; the allocator carves pools from predefined networks and rejects overlaps. Occupancy lives in ewah bitmaps keyed by host ordinal, so a sparse /8 or /64 costs only the addresses in use. Reserves network/broadcast (IPv4, RFC 3021 aside) and the Subnet-Router anycast (IPv6, RFC 4291). Pure: mutators return a new value so state can be snapshotted. Verified against moby's defaultipam via a Go oracle in test/interop/moby: a replayed operation trace matches byte-for-byte. Spec tests cite the libnetwork test vectors and the RFCs; alcobar fuzz and an MDX'd README round it out.

2 months ago