diff --git a/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java b/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java index 6438882cf..36cd42525 100644 --- a/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java +++ b/maven-plugin/src/main/java/edu/berkeley/cs/jqf/plugin/FuzzGoal.java @@ -164,6 +164,17 @@ public class FuzzGoal extends AbstractMojo { @Parameter(property="out") private String outputDirectory; + /** + * Whether to save ALL inputs generated during fuzzing, even + * the ones that do not have any unique code coverage. + * + *
This setting leads to a very large number of files being + * created in the output directory, and could potentially + * reduce the overall performance of fuzzing.
+ */ + @Parameter(property="saveAll") + private boolean saveAll; + /** * Weather to use libFuzzer like output instead of AFL like stats * screen @@ -220,6 +231,9 @@ public void execute() throws MojoExecutionException, MojoFailureException { } // Configure Zest Guidance + if (saveAll) { + System.setProperty("jqf.ei.SAVE_ALL_INPUTS", "true"); + } if (libFuzzerCompatOutput != null) { System.setProperty("jqf.ei.LIBFUZZER_COMPAT_OUTPUT", libFuzzerCompatOutput); }