From fce522567b90e1d19c1d41ff759c7b06b52599f6 Mon Sep 17 00:00:00 2001
From: DavidKorczynski <david@adalogics.com>
Date: Tue, 30 Aug 2022 14:58:02 +0100
Subject: [PATCH] pyrsistent: initial integration (#8234)

---
 projects/pyrsistent/Dockerfile     | 21 ++++++++++
 projects/pyrsistent/build.sh       | 21 ++++++++++
 projects/pyrsistent/fuzz_vector.py | 61 ++++++++++++++++++++++++++++++
 projects/pyrsistent/project.yaml   | 10 +++++
 4 files changed, 113 insertions(+)
 create mode 100644 projects/pyrsistent/Dockerfile
 create mode 100755 projects/pyrsistent/build.sh
 create mode 100644 projects/pyrsistent/fuzz_vector.py
 create mode 100644 projects/pyrsistent/project.yaml

diff --git a/projects/pyrsistent/Dockerfile b/projects/pyrsistent/Dockerfile
new file mode 100644
index 000000000..bb16a7088
--- /dev/null
+++ b/projects/pyrsistent/Dockerfile
@@ -0,0 +1,21 @@
+# 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-python
+RUN apt-get update && apt-get install -y make autoconf automake libtool
+RUN git clone --depth 1 https://github.com/tobgu/pyrsistent pyrsistent
+WORKDIR pyrsistent
+COPY build.sh *.py $SRC/
diff --git a/projects/pyrsistent/build.sh b/projects/pyrsistent/build.sh
new file mode 100755
index 000000000..1974eb7eb
--- /dev/null
+++ b/projects/pyrsistent/build.sh
@@ -0,0 +1,21 @@
+#!/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.
+#
+################################################################################
+
+pip3 install .
+for fuzzer in $(find $SRC -name 'fuzz_*.py'); do
+  compile_python_fuzzer $fuzzer
+done
diff --git a/projects/pyrsistent/fuzz_vector.py b/projects/pyrsistent/fuzz_vector.py
new file mode 100644
index 000000000..5b308fe5e
--- /dev/null
+++ b/projects/pyrsistent/fuzz_vector.py
@@ -0,0 +1,61 @@
+#!/usr/bin/python3
+# 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 os
+import sys
+import atheris
+
+from pyrsistent._pvector import python_pvector
+
+
+def TestOneInput(data):
+    fdp = atheris.FuzzedDataProvider(data)
+    
+    p = python_pvector([])
+    e = None
+
+    # Perform a sequence of arbitrary operations on the vector.
+    ops_num = fdp.ConsumeIntInRange(5, 500)
+    for i in range(ops_num):
+        op = fdp.ConsumeIntInRange(1, 6)
+        if op == 1:
+            p = p.append(fdp.ConsumeIntInRange(1,2000))
+        elif op == 2:
+            p.count(fdp.ConsumeIntInRange(1, 200))
+        elif op == 3:
+            try:
+                p = p.set(fdp.ConsumeIntInRange(1, 100), fdp.ConsumeIntInRange(1, 100))
+            except IndexError:
+                pass
+        elif op == 4:
+            try:
+                p = p.remove(fdp.ConsumeIntInRange(1,20))
+            except ValueError as exc:
+                if "not in list" not in str(exc):
+                    raise exc
+        elif op == 5:
+            e = p.evolver()
+        elif op == 6 and e != None:
+            _ = len(e)
+
+
+def main():
+    atheris.instrument_all()
+    atheris.Setup(sys.argv, TestOneInput, enable_python_coverage=True)
+    atheris.Fuzz()
+
+
+if __name__ == "__main__":
+    main()
diff --git a/projects/pyrsistent/project.yaml b/projects/pyrsistent/project.yaml
new file mode 100644
index 000000000..c1a51f4a8
--- /dev/null
+++ b/projects/pyrsistent/project.yaml
@@ -0,0 +1,10 @@
+homepage: "https://github.com/tobgu/pyrsistent"
+language: python
+main_repo: "https://github.com/tobgu/pyrsistent"
+fuzzing_engines:
+  - libfuzzer
+sanitizers:
+  - address
+  - undefined
+vendor_ccs:
+  - david@adalogics.com