Do not add "--" when passing args into the engine launcher since other options are passed using environment variables; In engine launchers, append the args to the fuzzer command. (#171)
diff --git a/fuzzing/engines/honggfuzz_launcher.sh b/fuzzing/engines/honggfuzz_launcher.sh
index 13f061d..8622f66 100755
--- a/fuzzing/engines/honggfuzz_launcher.sh
+++ b/fuzzing/engines/honggfuzz_launcher.sh
@@ -41,4 +41,4 @@
fi
command_line+=("--" "${FUZZER_BINARY}")
-exec "${command_line[@]}"
+exec "${command_line[@]}" "$@"
diff --git a/fuzzing/engines/jazzer_launcher.sh b/fuzzing/engines/jazzer_launcher.sh
index d561669..2ca09c7 100755
--- a/fuzzing/engines/jazzer_launcher.sh
+++ b/fuzzing/engines/jazzer_launcher.sh
@@ -42,4 +42,4 @@
command_line+=("${FUZZER_SEED_CORPUS_DIR}")
fi
-exec "${command_line[@]}"
+exec "${command_line[@]}" "$@"
diff --git a/fuzzing/engines/libfuzzer_launcher.sh b/fuzzing/engines/libfuzzer_launcher.sh
index 2d2187b..56c49e3 100755
--- a/fuzzing/engines/libfuzzer_launcher.sh
+++ b/fuzzing/engines/libfuzzer_launcher.sh
@@ -39,4 +39,4 @@
command_line+=("${FUZZER_SEED_CORPUS_DIR}")
fi
-exec "${command_line[@]}"
+exec "${command_line[@]}" "$@"
diff --git a/fuzzing/engines/replay_launcher.sh b/fuzzing/engines/replay_launcher.sh
index 735c5c4..d0e34d0 100755
--- a/fuzzing/engines/replay_launcher.sh
+++ b/fuzzing/engines/replay_launcher.sh
@@ -21,4 +21,4 @@
command_line+=("${FUZZER_SEED_CORPUS_DIR}")
fi
-exec "${command_line[@]}"
+exec "${command_line[@]}" "$@"
diff --git a/fuzzing/tools/launcher.py b/fuzzing/tools/launcher.py
index bf9980a..7966c66 100644
--- a/fuzzing/tools/launcher.py
+++ b/fuzzing/tools/launcher.py
@@ -102,7 +102,7 @@
os.environ["FUZZER_DICTIONARY_PATH"] = FLAGS.dictionary_path
if FLAGS.corpus_dir:
os.environ["FUZZER_SEED_CORPUS_DIR"] = FLAGS.corpus_dir
- os.execv("/bin/bash", ["/bin/bash", FLAGS.engine_launcher, "--"] + argv[1:])
+ os.execv("/bin/bash", ["/bin/bash", FLAGS.engine_launcher] + argv[1:])
if __name__ == "__main__":