From 00029122967ed67d674a4a165903df3d878b9bd0 Mon Sep 17 00:00:00 2001 From: Brian Lewis Date: Thu, 5 Oct 2023 15:53:45 +0200 Subject: [PATCH] Try using the direct annotation to appease github's syntax highlighter --- .../test/java/com/example/DictionaryFuzzTests.java | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/examples/junit/src/test/java/com/example/DictionaryFuzzTests.java b/examples/junit/src/test/java/com/example/DictionaryFuzzTests.java index d383f5e53..ea2bdd9ea 100644 --- a/examples/junit/src/test/java/com/example/DictionaryFuzzTests.java +++ b/examples/junit/src/test/java/com/example/DictionaryFuzzTests.java @@ -18,7 +18,8 @@ import com.code_intelligence.jazzer.api.FuzzedDataProvider; import com.code_intelligence.jazzer.junit.FuzzTest; -import com.code_intelligence.jazzer.junit.FuzzerDictionary; +import com.code_intelligence.jazzer.junit.FuzzerDictionary.WithDictionary; +import com.code_intelligence.jazzer.junit.FuzzerDictionary.WithDictionaryFile; import java.nio.charset.StandardCharsets; import java.security.MessageDigest; import java.security.NoSuchAlgorithmException; @@ -31,7 +32,7 @@ public class DictionaryFuzzTests { private static final byte[] FLAG_SHA256 = Base64.getDecoder().decode("IT7goSzYg6MXLugHl9H4oCswA+OEb4bGZmKrDzlZjO4="); - @FuzzerDictionary.WithDictionary(tokens = {"a_", "53Cr3T_", "fl4G"}) + @WithDictionary(tokens = {"a_", "53Cr3T_", "fl4G"}) @FuzzTest public void inlineTest(FuzzedDataProvider data) throws NoSuchAlgorithmException { String s = data.consumeRemainingAsString(); @@ -41,7 +42,7 @@ public void inlineTest(FuzzedDataProvider data) throws NoSuchAlgorithmException } } - @FuzzerDictionary.WithDictionaryFile(resourcePath = "/com/example/test.dict") + @WithDictionaryFile(resourcePath = "/com/example/test.dict") @FuzzTest public void fileTest(FuzzedDataProvider data) throws NoSuchAlgorithmException { String s = data.consumeRemainingAsString(); @@ -51,9 +52,9 @@ public void fileTest(FuzzedDataProvider data) throws NoSuchAlgorithmException { } } - @FuzzerDictionary.WithDictionary(tokens = {"a_"}) - @FuzzerDictionary.WithDictionaryFile(resourcePath = "/com/example/test2.dict") - @FuzzerDictionary.WithDictionaryFile(resourcePath = "/com/example/test3.dict") + @WithDictionary(tokens = {"a_"}) + @WithDictionaryFile(resourcePath = "/com/example/test2.dict") + @WithDictionaryFile(resourcePath = "/com/example/test3.dict") @FuzzTest public void mixedTest(FuzzedDataProvider data) throws NoSuchAlgorithmException { String s = data.consumeRemainingAsString();