opt_einsum: initial integration (#9405)

Signed-off-by: David Korczynski <david@adalogics.com>

projects/opt_einsum/Dockerfile

@@ -0,0 +1,19 @@
+#!/usr/bin/python3
+# Copyright 2023 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 pip3 install --upgrade pip Cython numpy
+RUN git clone https://github.com/dgasmith/opt_einsum opt_einsum
+COPY *.sh *py $SRC/
+WORKDIR $SRC/opt_einsum

projects/opt_einsum/build.sh

@@ -0,0 +1,22 @@
+#!/bin/bash -eu
+# Copyright 2023 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 .
+
+# Build fuzzers in $OUT.
+for fuzzer in $(find $SRC -name 'fuzz_*.py'); do
+  compile_python_fuzzer $fuzzer
+done

projects/opt_einsum/fuzz_parser.py

@@ -0,0 +1,45 @@
+#!/usr/bin/python3
+# Copyright 2023 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 sys
+import atheris
+
+import numpy as np
+from opt_einsum.parser import parse_einsum_input
+
+
+def TestOneInput(data):
+  fdp = atheris.FuzzedDataProvider(data)
+
+  # Create a numpy array with fuzzer-seeded entries.
+  ops = np.array(
+    [fdp.ConsumeFloat(), fdp.ConsumeFloat(), fdp.ConsumeFloat, fdp.ConsumeFloat()],
+  )
+  try:
+    parse_einsum_input(
+        [fdp.ConsumeUnicodeNoSurrogates(sys.maxsize), *ops],
+        shapes=fdp.ConsumeBool()
+    )
+  except ValueError:
+    # Raised by einsum parsing
+    pass
+
+def main():
+  atheris.instrument_all()
+  atheris.Setup(sys.argv, TestOneInput)
+  atheris.Fuzz()
+
+
+if __name__ == "__main__":
+  main()

projects/opt_einsum/project.yaml

@@ -0,0 +1,10 @@
+fuzzing_engines:
+- libfuzzer
+homepage: https://github.com/dgasmith/opt_einsum
+language: python
+main_repo: https://github.com/dgasmith/opt_einsum
+sanitizers:
+- address
+- undefined
+vendor_ccs:
+- david@adalogics.com