No public description

PiperOrigin-RevId: 788055227

centipede/dispatcher.cc

diff --git a/centipede/dispatcher.cc b/centipede/dispatcher.cc
index 45e8c6a..0d3fbd2 100644
--- a/centipede/dispatcher.cc
+++ b/centipede/dispatcher.cc
@@ -333,6 +333,12 @@
   {
     TestCallbackGuard guard;
     fprintf(stderr, "calling custom mutator\n");
+    // We ensure that:
+    //  * `inputs` is a valid pointer to an array of
+    //    `FuzzTestDispatcherInputForMutate` objects with length `num_inputs`.
+    //  * Each object of the array contains a valid `input` pointer to
+    //    `input_size` bytes, and a valid `metadata` pointer to `metadata_size`
+    //    bytes.
     callbacks.mutate(inputs.data(), inputs.size(), num_mutants,
                      /*shrink=*/0);
   }
@@ -367,6 +373,7 @@
     }
     {
       TestCallbackGuard guard;
+      // We ensure that `input` is a valid pointer to an array of `size` bytes.
       callbacks.execute(data.data(), data.size());
     }
     if (!BatchResult::WriteInputEnd(*outputs_blobseq)) {