Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit 86880c3

Browse files
feat: use mutator framework in java fuzz tests
1 parent 1397946 commit 86880c3

File tree

10 files changed

+22
-54
lines changed

10 files changed

+22
-54
lines changed

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

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
5+
56
import org.junit.jupiter.api.Test;
67

78
public class TestCases {
@@ -20,11 +21,8 @@ public void remoteCodeTest() {
2021
}
2122

2223
@FuzzTest
23-
void remoteCodeFuzzTest(FuzzedDataProviderdata) {
24+
void remoteCodeFuzzTest(inta, @NotNullStringb) {
2425
// Fuzz test that finds RCE
25-
int a = data.consumeInt();
26-
String b = data.consumeRemainingAsString();
27-
2826
RemoteCodeExecution remoteCode = new RemoteCodeExecution(a);
2927
remoteCode.trigger(b);
3028
}

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

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,12 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
54
import org.junit.jupiter.api.Test;
65

76
public class OutOfBoundsTestCase {
87
@FuzzTest
9-
void fuzzTest(FuzzedDataProviderdata) {
8+
void fuzzTest(inta) {
109
// Triggers array out of bounds exception
11-
int a = data.consumeInt();
12-
1310
OutOfBounds outOfBounds = new OutOfBounds();
1411
outOfBounds.trigger(a);
1512
}

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

Lines changed: 3 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,19 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
5-
import com.example.RemoteCodeExecution;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
65

76
public class RCEFuzzTestCase {
87
@FuzzTest
9-
void fuzzTestTrigger(FuzzedDataProvider data) {
10-
// Trigger remote code execution
11-
int a = data.consumeInt();
12-
String b = data.consumeRemainingAsString();
13-
8+
void fuzzTestTrigger(int a, @NotNull String b) {
149
RemoteCodeExecution rce = new RemoteCodeExecution(a);
1510
rce.trigger(b);
1611
}
1712

1813
@FuzzTest
19-
void fuzzTestDontTrigger(FuzzedDataProviderdata) {
14+
void fuzzTestDontTrigger(@NotNullStringb) {
2015
// Don't trigger remote code execution
2116
// by using the overloaded constructor
22-
String b = data.consumeRemainingAsString();
23-
2417
RemoteCodeExecution rce = new RemoteCodeExecution();
2518
rce.trigger(b);
2619
}
Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,11 @@
1-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
21
import com.code_intelligence.jazzer.junit.FuzzTest;
32
import util.NegativeArraySize;
43

54
public class NegativeArraySizeFuzzTest {
65

76
@FuzzTest
8-
void fuzzTest(FuzzedDataProviderdata) {
7+
void fuzzTest(inta) {
98
// Trigger Negative Array Size Exception
10-
NegativeArraySize.negative(data.consumeInt());
9+
NegativeArraySize.negative(a);
1110
}
1211
}

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package util;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
55
import org.junit.jupiter.api.Test;
66

77
import static org.junit.jupiter.api.Assertions.assertEquals;
@@ -15,8 +15,8 @@ public void joinTest() throws Exception {
1515
}
1616

1717
@FuzzTest
18-
void joinFuzzTest(FuzzedDataProviderdata) throws Exception {
18+
void joinFuzzTest(@NotNullStringa) throws Exception {
1919
// Trigger Exception
20-
Util.join(data.consumeRemainingAsString());
20+
Util.join(a);
2121
}
2222
}

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

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,11 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
55

66
class ExploreFuzzTest {
77
@FuzzTest
8-
void myFuzzTest(FuzzedDataProvider data) {
9-
int a = data.consumeInt();
10-
int b = data.consumeInt();
11-
String c = data.consumeRemainingAsString();
12-
8+
void myFuzzTest(int a, int b, @NotNull String c) {
139
ExploreMe ex = new ExploreMe(a);
1410
ex.exploreMe(b, c);
1511
}

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

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,11 @@
11
package com.example
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider
43
import com.code_intelligence.jazzer.junit.FuzzTest
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull
55

66
class FuzzTestCase {
77
@FuzzTest
8-
fun myFuzzTest(data: FuzzedDataProvider) {
9-
val a: Int = data.consumeInt()
10-
val b: Int = data.consumeInt()
11-
val c: String = data.consumeRemainingAsString()
8+
fun myFuzzTest(a: Int, b: Int, @NotNull c: String) {
129
val ex = ExploreMe(a)
1310
ex.exploreMe(b, c)
1411
}

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

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,11 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
55

66
public class FuzzTestCase {
77
@FuzzTest
8-
void myFuzzTest(FuzzedDataProvider data) {
9-
int a = data.consumeInt();
10-
int b = data.consumeInt();
11-
String c = data.consumeRemainingAsString();
12-
8+
void myFuzzTest(int a, int b, @NotNull String c) {
139
ExploreMe ex = new ExploreMe(a);
1410
ex.exploreMe(b, c);
1511
}

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

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,11 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
55

66
class ExploreFuzzTest {
77
@FuzzTest
8-
void myFuzzTest(FuzzedDataProvider data) {
9-
int a = data.consumeInt();
10-
int b = data.consumeInt();
11-
String c = data.consumeRemainingAsString();
12-
8+
void myFuzzTest(int a, int b, @NotNull String c) {
139
ExploreMe ex = new ExploreMe(a);
1410
ex.exploreMe(b, c);
1511
}

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

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,11 @@
11
package com.example;
22

3-
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
43
import com.code_intelligence.jazzer.junit.FuzzTest;
4+
import com.code_intelligence.jazzer.mutation.annotation.NotNull;
55

66
public class FuzzTestCase {
77
@FuzzTest
8-
void myFuzzTest(FuzzedDataProvider data) {
9-
int a = data.consumeInt();
10-
int b = data.consumeInt();
11-
String c = data.consumeRemainingAsString();
12-
8+
void myFuzzTest(int a, int b, @NotNull String c) {
139
ExploreMe ex = new ExploreMe(a);
1410
ex.exploreMe(b, c);
1511
}

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /