From af2d9c810a4a71af8ba1afca4d6fc57dc649e3c4 Mon Sep 17 00:00:00 2001
From: DavidKorczynski <david@adalogics.com>
Date: Tue, 6 Sep 2022 07:36:45 +0100
Subject: [PATCH] kiwisolver: initial integration (#8237)

* kiwisolver: initial integration

* Fix contacts
---
 projects/kiwisolver/Dockerfile     | 21 ++++++++
 projects/kiwisolver/build.sh       | 22 +++++++++
 projects/kiwisolver/fuzz_solver.py | 77 ++++++++++++++++++++++++++++++
 projects/kiwisolver/project.yaml   | 12 +++++
 4 files changed, 132 insertions(+)
 create mode 100644 projects/kiwisolver/Dockerfile
 create mode 100755 projects/kiwisolver/build.sh
 create mode 100644 projects/kiwisolver/fuzz_solver.py
 create mode 100644 projects/kiwisolver/project.yaml

diff --git a/projects/kiwisolver/Dockerfile b/projects/kiwisolver/Dockerfile
new file mode 100644
index 000000000..727bab074
--- /dev/null
+++ b/projects/kiwisolver/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/nucleic/kiwi kiwi
+WORKDIR kiwi
+COPY build.sh *.py $SRC/
diff --git a/projects/kiwisolver/build.sh b/projects/kiwisolver/build.sh
new file mode 100755
index 000000000..b8fc19949
--- /dev/null
+++ b/projects/kiwisolver/build.sh
@@ -0,0 +1,22 @@
+#!/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/kiwisolver/fuzz_solver.py b/projects/kiwisolver/fuzz_solver.py
new file mode 100644
index 000000000..4a3946b6e
--- /dev/null
+++ b/projects/kiwisolver/fuzz_solver.py
@@ -0,0 +1,77 @@
+#!/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 kiwisolver import (
+    Solver,
+    UnsatisfiableConstraint,
+    Variable,
+)
+
+
+def TestOneInput(data):
+    fdp = atheris.FuzzedDataProvider(data)
+
+    s = Solver()
+
+    # Create an arbitrary set of variables
+    variables = []
+    num_of_variables = fdp.ConsumeIntInRange(2, 10)
+    for v in range(num_of_variables):
+        variables.append(Variable(fdp.ConsumeUnicodeNoSurrogates(20)))
+        s.addEditVariable(variables[-1], "weak")
+
+    # Apply a random set of constraints on these variables
+    num_of_ops = fdp.ConsumeIntInRange(2, 10)
+    for i in range(num_of_ops):
+        op = fdp.ConsumeIntInRange(1,3)
+        var = variables[fdp.ConsumeIntInRange(0,len(variables)-1)]
+        c = 1 * var
+        for i2 in range(fdp.ConsumeIntInRange(2, 5)):
+            if op == 1:
+                c = c + fdp.ConsumeIntInRange(1, 100)
+            elif op == 2:
+                c = c - fdp.ConsumeIntInRange(1, 100)
+            elif op == 3:
+                c = c * fdp.ConsumeIntInRange(1, 100)
+
+        # Add constraint
+        constr = fdp.ConsumeIntInRange(0,2)
+        if constr == 0:
+            c = c >= 0
+        elif constr == 1:
+            c = c <= 0
+        else:
+            c = c == 0
+
+        try:
+            s.addConstraint(c)
+        except UnsatisfiableConstraint:
+            return
+
+    # Set a condition/update variables.
+    s.updateVariables()
+
+def main():
+    atheris.instrument_all()
+    atheris.Setup(sys.argv, TestOneInput, enable_python_coverage=True)
+    atheris.Fuzz()
+
+
+if __name__ == "__main__":
+    main()
diff --git a/projects/kiwisolver/project.yaml b/projects/kiwisolver/project.yaml
new file mode 100644
index 000000000..a6f08dbb6
--- /dev/null
+++ b/projects/kiwisolver/project.yaml
@@ -0,0 +1,12 @@
+homepage: "https://github.com/nucleic/kiwi"
+language: python
+main_repo: "https://github.com/nucleic/kiwi"
+primary_contact: "m.dartiailh@gmail.com"
+fuzzing_engines:
+  - libfuzzer
+sanitizers:
+  - address
+  - undefined
+auto_ccs:
+  - david@adalogics.com
+  - adam@adalogics.com