[spring-data-redis] Initial Integration (#8555)

projects/spring-data-redis/Dockerfile

@@ -0,0 +1,31 @@
+# Copyright 2022 Google LLC
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+################################################################################
+
+FROM gcr.io/oss-fuzz-base/base-builder-jvm
+
+RUN curl -L https://downloads.apache.org/maven/maven-3/3.6.3/binaries/apache-maven-3.6.3-bin.zip -o maven.zip && \
+    unzip maven.zip -d $SRC/maven && \
+    rm -rf maven.zip
+
+RUN apt update && apt install -y openjdk-17-jdk
+
+ENV MVN $SRC/maven/apache-maven-3.6.3/bin/mvn
+
+RUN git clone --depth 1 https://github.com/spring-projects/spring-data-redis.git
+
+COPY build.sh $SRC/
+COPY *Fuzzer.java $SRC/
+WORKDIR $SRC/spring-data-redis

projects/spring-data-redis/GenericJackson2JsonRedisSerializerFuzzer.java

@@ -0,0 +1,32 @@
+// Copyright 2022 Google LLC
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//      http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+////////////////////////////////////////////////////////////////////////////////
+
+import com.code_intelligence.jazzer.api.FuzzedDataProvider;
+
+import org.springframework.data.redis.serializer.GenericJackson2JsonRedisSerializer;
+import org.springframework.data.redis.serializer.SerializationException;
+
+
+public class GenericJackson2JsonRedisSerializerFuzzer {
+    public static void fuzzerTestOneInput(FuzzedDataProvider data) {
+        GenericJackson2JsonRedisSerializer serializer = new GenericJackson2JsonRedisSerializer();
+        byte[] input = data.consumeRemainingAsBytes();
+        try {
+            serializer.deserialize(input);
+        } catch (SerializationException e) {
+        }
+    }
+}

projects/spring-data-redis/RedisStringDeserializationFuzzer.java

@@ -0,0 +1,35 @@
+// Copyright 2022 Google LLC
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//      http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+////////////////////////////////////////////////////////////////////////////////
+
+import com.code_intelligence.jazzer.api.FuzzedDataProvider;
+
+import org.springframework.data.redis.serializer.StringRedisSerializer;
+
+
+public class RedisStringDeserializationFuzzer {
+    public static void fuzzerTestOneInput(FuzzedDataProvider data) {
+        int value = data.consumeInt(0,2);
+        byte[] input = data.consumeRemainingAsBytes();
+        switch (value) {
+            case 0:
+                StringRedisSerializer.US_ASCII.deserialize(input);
+            case 1:
+                StringRedisSerializer.ISO_8859_1.deserialize(input);
+            case 2:
+                StringRedisSerializer.UTF_8.deserialize(input);
+        }
+    }
+}

projects/spring-data-redis/RedisStringSerializationFuzzer.java

@@ -0,0 +1,48 @@
+// Copyright 2022 Google LLC
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//      http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+////////////////////////////////////////////////////////////////////////////////
+
+import com.code_intelligence.jazzer.api.FuzzedDataProvider;
+
+import org.springframework.data.redis.serializer.StringRedisSerializer;
+
+
+public class RedisStringSerializationFuzzer {
+    public static void fuzzerTestOneInput(FuzzedDataProvider data) {
+        int value = data.consumeInt(0,2);
+        String original_input = data.consumeRemainingAsString();
+        String deserialized_input = null;
+        byte[] serialized_input = null;
+        String format = null;
+        switch (value) {
+            case 0:
+                format = "US_ASCII";
+                serialized_input = StringRedisSerializer.US_ASCII.serialize(original_input);
+                deserialized_input = StringRedisSerializer.US_ASCII.deserialize(serialized_input);
+            case 1:
+                format = "ISO_8859_1";
+                serialized_input = StringRedisSerializer.ISO_8859_1.serialize(original_input);
+                deserialized_input = StringRedisSerializer.ISO_8859_1.deserialize(serialized_input);
+            case 2:
+                format = "UTF_8";
+                serialized_input = StringRedisSerializer.UTF_8.serialize(original_input);
+                deserialized_input = StringRedisSerializer.UTF_8.deserialize(serialized_input);
+        }
+        if (!deserialized_input.equals(original_input)) {
+            throw new IllegalStateException("Failed to recover\n" + original_input + "\ndeserialized with " + format 
+                    + ", got:\n" + deserialized_input + "\n\n");
+        }
+    }
+}

projects/spring-data-redis/build.sh

@@ -0,0 +1,58 @@
+#!/bin/bash -eu
+# Copyright 2022 Google LLC
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+################################################################################
+
+
+export JAVA_HOME="$OUT/open-jdk-17"
+mkdir -p $JAVA_HOME
+rsync -aL --exclude=*.zip "/usr/lib/jvm/java-17-openjdk-amd64/" "$JAVA_HOME"
+
+MAVEN_ARGS="-Djavac.src.version=17 -Djavac.target.version=17 -DskipTests -Dcheckstyle.skip=true"
+CURRENT_VERSION=$($MVN org.apache.maven.plugins:maven-help-plugin:3.2.0:evaluate \
+ -Dexpression=project.version -q -DforceStdout)
+
+$MVN clean package $MAVEN_ARGS
+$MVN package org.apache.maven.plugins:maven-shade-plugin:3.2.4:shade $MAVEN_ARGS
+cp "target/spring-data-redis-$CURRENT_VERSION.jar" "$OUT/spring-data-redis.jar"
+
+
+ALL_JARS="spring-data-redis.jar"
+
+# The classpath at build-time includes the project jars in $OUT as well as the
+# Jazzer API.
+BUILD_CLASSPATH=$(echo $ALL_JARS | xargs printf -- "$OUT/%s:"):$JAZZER_API_PATH
+
+# All .jar and .class files lie in the same directory as the fuzzer at runtime.
+RUNTIME_CLASSPATH=$(echo $ALL_JARS | xargs printf -- "\$this_dir/%s:"):\$this_dir
+
+for fuzzer in $(find $SRC -name '*Fuzzer.java'); do
+  fuzzer_basename=$(basename -s .java $fuzzer)
+  javac -cp $BUILD_CLASSPATH $fuzzer --release 17
+  cp $SRC/$fuzzer_basename.class $OUT/
+
+  # Create an execution wrapper that executes Jazzer with the correct arguments.
+  echo "#!/bin/sh
+# LLVMFuzzerTestOneInput for fuzzer detection.
+this_dir=\$(dirname \"\$0\")
+JAVA_HOME=\"\$this_dir/open-jdk-17/\" \
+LD_LIBRARY_PATH=\"\$this_dir/open-jdk-17/lib/server\":\$this_dir \
+\$this_dir/jazzer_driver --agent_path=\$this_dir/jazzer_agent_deploy.jar \
+--cp=$RUNTIME_CLASSPATH \
+--target_class=$fuzzer_basename \
+--jvm_args=\"-Xmx2048m\" \
+\$@" > $OUT/$fuzzer_basename
+  chmod u+x $OUT/$fuzzer_basename
+done 

projects/spring-data-redis/project.yaml

@@ -0,0 +1,15 @@
+homepage: "https://github.com/spring-projects/spring-boot"
+language: jvm
+main_repo: "https://github.com/spring-projects/spring-boot.git"
+primary_contact: "pwebb@vmware.com"
+fuzzing_engines:
+  - libfuzzer
+sanitizers:
+  - address
+vendor_ccs:
+  - "wilkinsona@vmware.com"
+  - "wagner@code-intelligence.com"
+  - "yakdan@code-intelligence.com"
+  - "glendowne@code-intelligence.com"
+  - "patrice.salathe@code-intelligence.com"
+  - "hlin@code-intelligence.com"