rtyler
/
pkgsrc-wip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Package the Python bindings for DeepState

This commit is contained in:
Pierre Pronchery 2018-05-08 09:24:47 +02:00
parent 927c80dcde
commit 0a63eccea8
7 changed files with 68 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -3089,6 +3089,7 @@ SUBDIR+= py-decimalfp
SUBDIR+= py-decimalpy
SUBDIR+= py-decode
SUBDIR+= py-decoratortools
SUBDIR+= py-deepstate
SUBDIR+= py-delay
SUBDIR+= py-delny
SUBDIR+= py-deltasigma

4
deepstate/Makefile
View File

@ -44,11 +44,7 @@ pre-configure:
${MKDIR} ${WRKSRC}/build
post-install:
${MV} ${FAKEHOMEDIR}/.local/bin/deepstate ${DESTDIR}${PREFIX}/bin
${MV} ${FAKEHOMEDIR}/.local/bin/deepstate-angr ${DESTDIR}${PREFIX}/bin
${MV} ${FAKEHOMEDIR}/.local/bin/deepstate-manticore ${DESTDIR}${PREFIX}/bin
${MV} ${FAKEHOMEDIR}/.local/bin/futurize ${DESTDIR}${PREFIX}/bin
${RM} ${FAKEHOMEDIR}/.local/bin/manticore
${MV} ${FAKEHOMEDIR}/.local/bin/pasteurize ${DESTDIR}${PREFIX}/bin
.include "../../lang/python/extension.mk"

3
deepstate/PLIST
View File

@ -1,7 +1,4 @@
@comment $NetBSD$
bin/deepstate
bin/deepstate-angr
bin/deepstate-manticore
bin/futurize
bin/pasteurize
include/deepstate/Compiler.h

8
py-deepstate/DESCR Normal file
View File

@ -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 contains the Python bindings for DeepState.

31
py-deepstate/Makefile Normal file
View File

@ -0,0 +1,31 @@
# $NetBSD: Makefile,v 1.2 2018/02/22 23:41:31 khorben Exp $
DISTNAME= deepstate-0.0.0
PKGNAME= ${PYPKGPREFIX}-${DISTNAME}
CATEGORIES= devel
MASTER_SITES= ${MASTER_SITE_GITHUB:=trailofbits/}
GITHUB_PROJECT= deepstate
GITHUB_TAG= ca5fada9f4653b6c808fc079907c9a90fb5b057b
MAINTAINER= khorben@defora.org
HOMEPAGE= https://github.com/trailofbits/deepstate/
COMMENT= Augments C/C++ Test-Driven Development with Symbolic Execution
LICENSE= apache-2.0
USE_LANGUAGES= c99 c++
USE_CMAKE= yes
AUTO_MKDIRS= yes
DEPENDS+= deepstate-[0-9]*:../../wip/deepstate
PYTHON_VERSIONS_ACCEPTED= 27
CMAKE_ARG_PATH= ${WRKSRC}
CONFIGURE_DIRS= ${WRKSRC}/build
PYSETUPSUBDIR= build
pre-configure:
${MKDIR} ${WRKSRC}/build
.include "../../lang/python/distutils.mk"
.include "../../mk/bsd.pkg.mk"

22
py-deepstate/PLIST Normal file
View File

@ -0,0 +1,22 @@
@comment $NetBSD$
bin/deepstate
bin/deepstate-angr
bin/deepstate-manticore
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/PKG-INFO
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/SOURCES.txt
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/dependency_links.txt
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/entry_points.txt
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/requires.txt
${PYSITELIB}/deepstate-0.1-py${PYVERSSUFFIX}.egg-info/top_level.txt
${PYSITELIB}/deepstate/__init__.py
${PYSITELIB}/deepstate/__init__.pyc
${PYSITELIB}/deepstate/__init__.pyo
${PYSITELIB}/deepstate/common.py
${PYSITELIB}/deepstate/common.pyc
${PYSITELIB}/deepstate/common.pyo
${PYSITELIB}/deepstate/main_angr.py
${PYSITELIB}/deepstate/main_angr.pyc
${PYSITELIB}/deepstate/main_angr.pyo
${PYSITELIB}/deepstate/main_manticore.py
${PYSITELIB}/deepstate/main_manticore.pyc
${PYSITELIB}/deepstate/main_manticore.pyo

6
py-deepstate/distinfo Normal file
View File

@ -0,0 +1,6 @@
$NetBSD$
SHA1 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 57842124c8df58e1426d22cf570941ad3a96c15f
RMD160 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 3ade55c7aeea2b60e2c71e097333488b98fe875b
SHA512 (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = e1ce9e65ea245aeaa75fa88cdc711e8cc86f8ed04ed9ec6194bf3617949ed9abb42db5504b38b313c54d01af3aa29bbce097a5928ccb96dd41ae1fc947f1f560
Size (deepstate-0.0.0-ca5fada9f4653b6c808fc079907c9a90fb5b057b.tar.gz) = 42783 bytes