Merge pull request #9 from CodeIntelligenceTesting/flogla/CIF-577-use-mutator-framework

feat: use mutator framework in java fuzz tests

Author: florianGla

example-projects/advanced-setup/gradle/app/src/test/java/com/example/TestCases.java

@@ -1,7 +1,8 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
+
 import org.junit.jupiter.api.Test;
 
 public class TestCases {
@@ -20,11 +21,8 @@ public void remoteCodeTest() {
     }
 
     @FuzzTest
-    void remoteCodeFuzzTest(FuzzedDataProvider data) {
+    void remoteCodeFuzzTest(int a, @NotNull String b) {
         // Fuzz test that finds RCE
-        int a = data.consumeInt();
-        String b = data.consumeRemainingAsString();
-
         RemoteCodeExecution remoteCode = new RemoteCodeExecution(a);
         remoteCode.trigger(b);
     }

example-projects/advanced-setup/gradle/testsuite/src/fuzzTest/java/com/example/OutOfBoundsTestCase.java

@@ -1,15 +1,12 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
 import org.junit.jupiter.api.Test;
 
 public class OutOfBoundsTestCase {
     @FuzzTest
-    void fuzzTest(FuzzedDataProvider data) {
+    void fuzzTest(int a) {
         // Triggers array out of bounds exception
-        int a = data.consumeInt();
-
         OutOfBounds outOfBounds = new OutOfBounds();
         outOfBounds.trigger(a);
     }

example-projects/advanced-setup/gradle/testsuite/src/fuzzTest/java/com/example/RCEFuzzTestCase.java

@@ -1,26 +1,19 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
-import com.example.RemoteCodeExecution;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 
 public class RCEFuzzTestCase {
     @FuzzTest
-    void fuzzTestTrigger(FuzzedDataProvider data) {
-        // Trigger remote code execution
-        int a = data.consumeInt();
-        String b = data.consumeRemainingAsString();
-
+    void fuzzTestTrigger(int a, @NotNull String b) {
         RemoteCodeExecution rce = new RemoteCodeExecution(a);
         rce.trigger(b);
     }
 
     @FuzzTest
-    void fuzzTestDontTrigger(FuzzedDataProvider data) {
+    void fuzzTestDontTrigger(@NotNull String b) {
         // Don't trigger remote code execution
         // by using the overloaded constructor
-        String b = data.consumeRemainingAsString();
-
         RemoteCodeExecution rce = new RemoteCodeExecution();
         rce.trigger(b);
     }

example-projects/advanced-setup/maven/tests/fuzzTests/NegativeArraySizeFuzzTest.java

@@ -1,12 +1,11 @@
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
 import util.NegativeArraySize;
 
 public class NegativeArraySizeFuzzTest {
 
     @FuzzTest
-    void fuzzTest(FuzzedDataProvider data) {
+    void fuzzTest(int a) {
         // Trigger Negative Array Size Exception
-        NegativeArraySize.negative(data.consumeInt());
+        NegativeArraySize.negative(a);
     }
 }

example-projects/advanced-setup/maven/util/src/test/java/util/UtilTest.java

@@ -1,7 +1,7 @@
 package util;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 import org.junit.jupiter.api.Test;
 
 import static org.junit.jupiter.api.Assertions.assertEquals;
@@ -15,8 +15,8 @@ public void joinTest() throws Exception {
     }
 
     @FuzzTest
-    void joinFuzzTest(FuzzedDataProvider data) throws Exception {
+    void joinFuzzTest(@NotNull String a) throws Exception {
         // Trigger Exception
-        Util.join(data.consumeRemainingAsString());
+        Util.join(a);
     }
 }

example-projects/simple-setup/gradle-junit-4-and-5/src/test/java/com/example/ExploreFuzzTest.java

@@ -1,15 +1,11 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 
 class ExploreFuzzTest {
 	@FuzzTest
-	void myFuzzTest(FuzzedDataProvider data) {
-		int a = data.consumeInt();
-		int b = data.consumeInt();
-		String c = data.consumeRemainingAsString();
-
+	void myFuzzTest(int a, int b, @NotNull String c) {
 		ExploreMe ex = new ExploreMe(a);
 		ex.exploreMe(b, c);
 	}

example-projects/simple-setup/gradle-kotlin/src/test/kotlin/com/example/FuzzTestCase.kt

@@ -1,14 +1,11 @@
 package com.example
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider
 import com.code_intelligence.jazzer.junit.FuzzTest
+import com.code_intelligence.jazzer.mutation.annotation.NotNull
 
 class FuzzTestCase {
     @FuzzTest
-    fun myFuzzTest(data: FuzzedDataProvider) {
-        val a: Int = data.consumeInt()
-        val b: Int = data.consumeInt()
-        val c: String = data.consumeRemainingAsString()
+    fun myFuzzTest(a: Int, b: Int, @NotNull c: String) {
         val ex = ExploreMe(a)
         ex.exploreMe(b, c)
     }

example-projects/simple-setup/gradle/src/test/java/com/example/FuzzTestCase.java

@@ -1,15 +1,11 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 
 public class FuzzTestCase {
     @FuzzTest
-    void myFuzzTest(FuzzedDataProvider data) {
-        int a = data.consumeInt();
-        int b = data.consumeInt();
-        String c = data.consumeRemainingAsString();
-
+    void myFuzzTest(int a, int b, @NotNull String c) {
         ExploreMe ex = new ExploreMe(a);
         ex.exploreMe(b, c);
     }

example-projects/simple-setup/maven-junit-4-and-5/src/test/java/com/example/ExploreFuzzTest.java

@@ -1,15 +1,11 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 
 class ExploreFuzzTest {
 	@FuzzTest
-	void myFuzzTest(FuzzedDataProvider data) {
-		int a = data.consumeInt();
-		int b = data.consumeInt();
-		String c = data.consumeRemainingAsString();
-
+	void myFuzzTest(int a, int b, @NotNull String c) {
 		ExploreMe ex = new ExploreMe(a);
 		ex.exploreMe(b, c);
 	}

example-projects/simple-setup/maven/src/test/java/com/example/FuzzTestCase.java

@@ -1,15 +1,11 @@
 package com.example;
 
-import com.code_intelligence.jazzer.api.FuzzedDataProvider;
 import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 
 public class FuzzTestCase {
     @FuzzTest
-    void myFuzzTest(FuzzedDataProvider data) {
-        int a = data.consumeInt();
-        int b = data.consumeInt();
-        String c = data.consumeRemainingAsString();
-
+    void myFuzzTest(int a, int b, @NotNull String c) {
         ExploreMe ex = new ExploreMe(a);
         ex.exploreMe(b, c);
     }