3 files changed, 105 insertions, 0 deletions
diff --git a/devel/py-deepstate/DESCR b/devel/py-deepstate/DESCR
new file mode 100644
index 00000000000..db9df81c727
--- /dev/null
+++ b/devel/py-deepstate/DESCR
@@ -0,0 +1,8 @@
+DeepState is a framework that provides C and C++ developers with a common
+interface to various symbolic execution and fuzzing engines. Users can write
+one test harness using a Google Test-like API, then execute it using multiple
+backends without having to learn the complexities of the underlying engines. It
+supports writing unit tests and API sequence tests, as well as automatic test
+generation.
+
+This package installs the executors for DeepState.
diff --git a/devel/py-deepstate/Makefile b/devel/py-deepstate/Makefile
new file mode 100644
index 00000000000..9185f51d051
--- /dev/null
+++ b/devel/py-deepstate/Makefile
@@ -0,0 +1,26 @@
+# $NetBSD: Makefile,v 1.1 2020/09/29 03:12:44 khorben Exp $
+
+PKGNAME=	${PYPKGPREFIX}-${DISTNAME}
+
+USE_LANGUAGES=	c99 c++
+USE_CMAKE=	yes
+AUTO_MKDIRS=	yes
+
+DEPENDS+=	deepstate>=${VERSION}:../../devel/deepstate
+DEPENDS+=	deepstate-afl>=${VERSION}:../../devel/deepstate-afl
+#XXX seems to not build on NetBSD
+#DEPENDS+=	deepstate-honggfuzz>=${VERSION}:../../devel/deepstate-honggfuzz
+DEPENDS+=	deepstate-libfuzzer>=${VERSION}:../../devel/deepstate-libfuzzer
+
+PYTHON_VERSIONS_ACCEPTED=	37 36
+
+CONFIGURE_DIRS=	build
+CMAKE_ARG_PATH=	${WRKSRC}
+PYSETUPSUBDIR=	build
+
+pre-configure:
+	cd ${WRKSRC} && ${MKDIR} ${CONFIGURE_DIRS}
+
+.include "../../devel/deepstate/Makefile.common"
+.include "../../lang/python/egg.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/py-deepstate/PLIST b/devel/py-deepstate/PLIST
new file mode 100644
index 00000000000..4176b7ab82d
--- /dev/null
+++ b/devel/py-deepstate/PLIST
@@ -0,0 +1,71 @@
+@comment $NetBSD: PLIST,v 1.1 2020/09/29 03:12:44 khorben Exp $
+bin/deepstate
+bin/deepstate-afl
+bin/deepstate-angora
+bin/deepstate-angr
+bin/deepstate-eclipser
+bin/deepstate-ensembler
+bin/deepstate-honggfuzz
+bin/deepstate-libfuzzer
+bin/deepstate-manticore
+bin/deepstate-reduce
+${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
+${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
+${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
+${PYSITELIB}/${EGG_INFODIR}/entry_points.txt
+${PYSITELIB}/${EGG_INFODIR}/requires.txt
+${PYSITELIB}/${EGG_INFODIR}/top_level.txt
+${PYSITELIB}/deepstate/__init__.py
+${PYSITELIB}/deepstate/__init__.pyc
+${PYSITELIB}/deepstate/__init__.pyo
+${PYSITELIB}/deepstate/core/__init__.py
+${PYSITELIB}/deepstate/core/__init__.pyc
+${PYSITELIB}/deepstate/core/__init__.pyo
+${PYSITELIB}/deepstate/core/base.py
+${PYSITELIB}/deepstate/core/base.pyc
+${PYSITELIB}/deepstate/core/base.pyo
+${PYSITELIB}/deepstate/core/fuzz.py
+${PYSITELIB}/deepstate/core/fuzz.pyc
+${PYSITELIB}/deepstate/core/fuzz.pyo
+${PYSITELIB}/deepstate/core/symex.py
+${PYSITELIB}/deepstate/core/symex.pyc
+${PYSITELIB}/deepstate/core/symex.pyo
+${PYSITELIB}/deepstate/executors/__init__.py
+${PYSITELIB}/deepstate/executors/__init__.pyc
+${PYSITELIB}/deepstate/executors/__init__.pyo
+${PYSITELIB}/deepstate/executors/auxiliary/__init__.py
+${PYSITELIB}/deepstate/executors/auxiliary/__init__.pyc
+${PYSITELIB}/deepstate/executors/auxiliary/__init__.pyo
+${PYSITELIB}/deepstate/executors/auxiliary/ensembler.py
+${PYSITELIB}/deepstate/executors/auxiliary/ensembler.pyc
+${PYSITELIB}/deepstate/executors/auxiliary/ensembler.pyo
+${PYSITELIB}/deepstate/executors/auxiliary/reducer.py
+${PYSITELIB}/deepstate/executors/auxiliary/reducer.pyc
+${PYSITELIB}/deepstate/executors/auxiliary/reducer.pyo
+${PYSITELIB}/deepstate/executors/fuzz/__init__.py
+${PYSITELIB}/deepstate/executors/fuzz/__init__.pyc
+${PYSITELIB}/deepstate/executors/fuzz/__init__.pyo
+${PYSITELIB}/deepstate/executors/fuzz/afl.py
+${PYSITELIB}/deepstate/executors/fuzz/afl.pyc
+${PYSITELIB}/deepstate/executors/fuzz/afl.pyo
+${PYSITELIB}/deepstate/executors/fuzz/angora.py
+${PYSITELIB}/deepstate/executors/fuzz/angora.pyc
+${PYSITELIB}/deepstate/executors/fuzz/angora.pyo
+${PYSITELIB}/deepstate/executors/fuzz/eclipser.py
+${PYSITELIB}/deepstate/executors/fuzz/eclipser.pyc
+${PYSITELIB}/deepstate/executors/fuzz/eclipser.pyo
+${PYSITELIB}/deepstate/executors/fuzz/honggfuzz.py
+${PYSITELIB}/deepstate/executors/fuzz/honggfuzz.pyc
+${PYSITELIB}/deepstate/executors/fuzz/honggfuzz.pyo
+${PYSITELIB}/deepstate/executors/fuzz/libfuzzer.py
+${PYSITELIB}/deepstate/executors/fuzz/libfuzzer.pyc
+${PYSITELIB}/deepstate/executors/fuzz/libfuzzer.pyo
+${PYSITELIB}/deepstate/executors/symex/__init__.py
+${PYSITELIB}/deepstate/executors/symex/__init__.pyc
+${PYSITELIB}/deepstate/executors/symex/__init__.pyo
+${PYSITELIB}/deepstate/executors/symex/angr.py
+${PYSITELIB}/deepstate/executors/symex/angr.pyc
+${PYSITELIB}/deepstate/executors/symex/angr.pyo
+${PYSITELIB}/deepstate/executors/symex/manticore.py
+${PYSITELIB}/deepstate/executors/symex/manticore.pyc
+${PYSITELIB}/deepstate/executors/symex/manticore.pyo