Add examples of passing options to Jazzer and libFuzzer

Author: oetr

BUILD

@@ -19,7 +19,22 @@ java_test_suite(
  env = {
  # Also use the generated corpus directory when regression testing.
  "JAZZER_COVERAGE": "1",
+ # Continue fuzzing until 10 unique (deduplicated) crashes are found.
+ # Same as "-Djazzer.keep_going=10" jvm_flag below
+ # "JAZZER_KEEP_GOING": "10",
  },
+ jvm_flags = [
+ "-Djazzer.keep_going=10", # Continue fuzzing until 10 unique (deduplicated) crashes are found.
+ # "-Djazzer.internal.basedir=$${PWD}", # In case we want to change Jazzer's basedir
+
+ # Arguments to libFuzzer (active only in fuzzing mode). Have to be numbered starting from 0.
+ "-Djazzer.internal.arg.0=ignored", # Placeholder for the target class name. Must be present. Value is ignored.
+ "-Djazzer.internal.arg.1=-print_final_stats=1", # Prints libFuzzer stats when the process is terminated.
+ # "-Djazzer.internal.arg.2=-help=1", # Prints all arguments supported by libFuzzer and exits.
+
+ # Disable regex sanitizers during fuzzing and regression.
+ "-Djazzer.disabled_hooks=com.code_intelligence.jazzer.sanitizers.RegexRoadblocks:com.code_intelligence.jazzer.sanitizers.RegexInjection",
+ ],
  # Resources to be bundled into the test Jar. Only used when regression testing with Jazzer.
  resources = glob(
  [