Maven plugin: New -DsaveAll option

rohanpadhye · Apr 6, 2020 · 52800d0 · 52800d0
1 parent 5fd1732
commit 52800d0
Showing 1 changed file with 14 additions and 0 deletions.
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
@@ -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.
+     *
+     * <p>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.</p>
+     */
+    @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);
         }