No public description

PiperOrigin-RevId: 788055227

Author: yamilmorales

centipede/dispatcher.cc

@@ -333,6 +333,12 @@ int DispatcherDoMutate(const FuzzTestDispatcherCallbacks& callbacks) {
   {
     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 @@ int DispatcherDoExecute(const FuzzTestDispatcherCallbacks& callbacks) {
     }
     {
       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)) {