pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/py-manticore Import manticore version 0.1.6 as p...
details: https://anonhg.NetBSD.org/pkgsrc/rev/00e086594801
branches: trunk
changeset: 375838:00e086594801
user: khorben <khorben%pkgsrc.org@localhost>
date: Thu Feb 22 22:35:25 2018 +0000
description:
Import manticore version 0.1.6 as py27-manticore-0.1.6
Manticore is a symbolic execution tool for analysis of binaries and smart
contracts.
Manticore features Input Generation (automatically generates inputs that trigger
unique code paths), Crash Discovery (discovers inputs that crash programs via
memory safety violations), Execution Tracing (records an instruction-level trace
of execution for each generated input), and Programmatic Interface (exposes
programmatic access to its analysis engine via a Python API).
Manticore can analyze Linux ELF binaries (x86, x86_64 and ARMv7) and Ethereum
smart contracts (EVM bytecode).
diffstat:
devel/py-manticore/DESCR | 11 +
devel/py-manticore/Makefile | 22 ++
devel/py-manticore/PLIST | 383 ++++++++++++++++++++++++++++++++++++++++++++
devel/py-manticore/distinfo | 6 +
4 files changed, 422 insertions(+), 0 deletions(-)
diffs (truncated from 438 to 300 lines):
diff -r c1200e767089 -r 00e086594801 devel/py-manticore/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/py-manticore/DESCR Thu Feb 22 22:35:25 2018 +0000
@@ -0,0 +1,11 @@
+Manticore is a symbolic execution tool for analysis of binaries and smart
+contracts.
+
+Manticore features Input Generation (automatically generates inputs that trigger
+unique code paths), Crash Discovery (discovers inputs that crash programs via
+memory safety violations), Execution Tracing (records an instruction-level trace
+of execution for each generated input), and Programmatic Interface (exposes
+programmatic access to its analysis engine via a Python API).
+
+Manticore can analyze Linux ELF binaries (x86, x86_64 and ARMv7) and Ethereum
+smart contracts (EVM bytecode).
diff -r c1200e767089 -r 00e086594801 devel/py-manticore/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/py-manticore/Makefile Thu Feb 22 22:35:25 2018 +0000
@@ -0,0 +1,22 @@
+# $NetBSD: Makefile,v 1.1 2018/02/22 22:35:25 khorben Exp $
+
+DISTNAME= manticore-${GITHUB_TAG}
+PKGNAME= ${PYPKGPREFIX}-${EGG_NAME}
+CATEGORIES= devel
+MASTER_SITES= ${MASTER_SITE_GITHUB:=trailofbits/}
+GITHUB_PROJECT= manticore
+GITHUB_TAG= 0.1.6
+
+MAINTAINER= khorben%defora.org@localhost
+HOMEPAGE= https://github.com/trailofbits/manticore/
+COMMENT= Symbolic execution tool for analysis of binaries and smart contracts
+LICENSE= apache-2.0
+
+DEPENDS+= ${PYPKGPREFIX}-capstone-[0-9]*:../../devel/py-capstone
+DEPENDS+= ${PYPKGPREFIX}-ply-[0-9]*:../../devel/py-ply
+DEPENDS+= unicorn-[0-9]*:../../emulators/unicorn
+
+PYTHON_VERSIONS_ACCEPTED= 27
+
+.include "../../lang/python/egg.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r c1200e767089 -r 00e086594801 devel/py-manticore/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/py-manticore/PLIST Thu Feb 22 22:35:25 2018 +0000
@@ -0,0 +1,383 @@
+@comment $NetBSD: PLIST,v 1.1 2018/02/22 22:35:25 khorben Exp $
+bin/manticore
+${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}/manticore/__init__.py
+${PYSITELIB}/manticore/__init__.pyc
+${PYSITELIB}/manticore/__init__.pyo
+${PYSITELIB}/manticore/__main__.py
+${PYSITELIB}/manticore/__main__.pyc
+${PYSITELIB}/manticore/__main__.pyo
+${PYSITELIB}/manticore/binary/__init__.py
+${PYSITELIB}/manticore/binary/__init__.pyc
+${PYSITELIB}/manticore/binary/__init__.pyo
+${PYSITELIB}/manticore/core/__init__.py
+${PYSITELIB}/manticore/core/__init__.pyc
+${PYSITELIB}/manticore/core/__init__.pyo
+${PYSITELIB}/manticore/core/cpu/__init__.py
+${PYSITELIB}/manticore/core/cpu/__init__.pyc
+${PYSITELIB}/manticore/core/cpu/__init__.pyo
+${PYSITELIB}/manticore/core/cpu/abstractcpu.py
+${PYSITELIB}/manticore/core/cpu/abstractcpu.pyc
+${PYSITELIB}/manticore/core/cpu/abstractcpu.pyo
+${PYSITELIB}/manticore/core/cpu/arm.py
+${PYSITELIB}/manticore/core/cpu/arm.pyc
+${PYSITELIB}/manticore/core/cpu/arm.pyo
+${PYSITELIB}/manticore/core/cpu/binja.py
+${PYSITELIB}/manticore/core/cpu/binja.pyc
+${PYSITELIB}/manticore/core/cpu/binja.pyo
+${PYSITELIB}/manticore/core/cpu/bitwise.py
+${PYSITELIB}/manticore/core/cpu/bitwise.pyc
+${PYSITELIB}/manticore/core/cpu/bitwise.pyo
+${PYSITELIB}/manticore/core/cpu/cpufactory.py
+${PYSITELIB}/manticore/core/cpu/cpufactory.pyc
+${PYSITELIB}/manticore/core/cpu/cpufactory.pyo
+${PYSITELIB}/manticore/core/cpu/disasm.py
+${PYSITELIB}/manticore/core/cpu/disasm.pyc
+${PYSITELIB}/manticore/core/cpu/disasm.pyo
+${PYSITELIB}/manticore/core/cpu/register.py
+${PYSITELIB}/manticore/core/cpu/register.pyc
+${PYSITELIB}/manticore/core/cpu/register.pyo
+${PYSITELIB}/manticore/core/cpu/x86.py
+${PYSITELIB}/manticore/core/cpu/x86.pyc
+${PYSITELIB}/manticore/core/cpu/x86.pyo
+${PYSITELIB}/manticore/core/executor.py
+${PYSITELIB}/manticore/core/executor.pyc
+${PYSITELIB}/manticore/core/executor.pyo
+${PYSITELIB}/manticore/core/memory.py
+${PYSITELIB}/manticore/core/memory.pyc
+${PYSITELIB}/manticore/core/memory.pyo
+${PYSITELIB}/manticore/core/parser/__init__.py
+${PYSITELIB}/manticore/core/parser/__init__.pyc
+${PYSITELIB}/manticore/core/parser/__init__.pyo
+${PYSITELIB}/manticore/core/parser/parser.py
+${PYSITELIB}/manticore/core/parser/parser.pyc
+${PYSITELIB}/manticore/core/parser/parser.pyo
+${PYSITELIB}/manticore/core/plugin.py
+${PYSITELIB}/manticore/core/plugin.pyc
+${PYSITELIB}/manticore/core/plugin.pyo
+${PYSITELIB}/manticore/core/smtlib/__init__.py
+${PYSITELIB}/manticore/core/smtlib/__init__.pyc
+${PYSITELIB}/manticore/core/smtlib/__init__.pyo
+${PYSITELIB}/manticore/core/smtlib/constraints.py
+${PYSITELIB}/manticore/core/smtlib/constraints.pyc
+${PYSITELIB}/manticore/core/smtlib/constraints.pyo
+${PYSITELIB}/manticore/core/smtlib/expression.py
+${PYSITELIB}/manticore/core/smtlib/expression.pyc
+${PYSITELIB}/manticore/core/smtlib/expression.pyo
+${PYSITELIB}/manticore/core/smtlib/operators.py
+${PYSITELIB}/manticore/core/smtlib/operators.pyc
+${PYSITELIB}/manticore/core/smtlib/operators.pyo
+${PYSITELIB}/manticore/core/smtlib/solver.py
+${PYSITELIB}/manticore/core/smtlib/solver.pyc
+${PYSITELIB}/manticore/core/smtlib/solver.pyo
+${PYSITELIB}/manticore/core/smtlib/visitors.py
+${PYSITELIB}/manticore/core/smtlib/visitors.pyc
+${PYSITELIB}/manticore/core/smtlib/visitors.pyo
+${PYSITELIB}/manticore/core/state.py
+${PYSITELIB}/manticore/core/state.pyc
+${PYSITELIB}/manticore/core/state.pyo
+${PYSITELIB}/manticore/core/workspace.py
+${PYSITELIB}/manticore/core/workspace.pyc
+${PYSITELIB}/manticore/core/workspace.pyo
+${PYSITELIB}/manticore/ethereum.py
+${PYSITELIB}/manticore/ethereum.pyc
+${PYSITELIB}/manticore/ethereum.pyo
+${PYSITELIB}/manticore/manticore.py
+${PYSITELIB}/manticore/manticore.pyc
+${PYSITELIB}/manticore/manticore.pyo
+${PYSITELIB}/manticore/models.py
+${PYSITELIB}/manticore/models.pyc
+${PYSITELIB}/manticore/models.pyo
+${PYSITELIB}/manticore/platforms/__init__.py
+${PYSITELIB}/manticore/platforms/__init__.pyc
+${PYSITELIB}/manticore/platforms/__init__.pyo
+${PYSITELIB}/manticore/platforms/cgcrandom.py
+${PYSITELIB}/manticore/platforms/cgcrandom.pyc
+${PYSITELIB}/manticore/platforms/cgcrandom.pyo
+${PYSITELIB}/manticore/platforms/decree.py
+${PYSITELIB}/manticore/platforms/decree.pyc
+${PYSITELIB}/manticore/platforms/decree.pyo
+${PYSITELIB}/manticore/platforms/evm.py
+${PYSITELIB}/manticore/platforms/evm.pyc
+${PYSITELIB}/manticore/platforms/evm.pyo
+${PYSITELIB}/manticore/platforms/linux.py
+${PYSITELIB}/manticore/platforms/linux.pyc
+${PYSITELIB}/manticore/platforms/linux.pyo
+${PYSITELIB}/manticore/platforms/linux_syscalls.py
+${PYSITELIB}/manticore/platforms/linux_syscalls.pyc
+${PYSITELIB}/manticore/platforms/linux_syscalls.pyo
+${PYSITELIB}/manticore/platforms/platform.py
+${PYSITELIB}/manticore/platforms/platform.pyc
+${PYSITELIB}/manticore/platforms/platform.pyo
+${PYSITELIB}/manticore/utils/__init__.py
+${PYSITELIB}/manticore/utils/__init__.pyc
+${PYSITELIB}/manticore/utils/__init__.pyo
+${PYSITELIB}/manticore/utils/emulate.py
+${PYSITELIB}/manticore/utils/emulate.pyc
+${PYSITELIB}/manticore/utils/emulate.pyo
+${PYSITELIB}/manticore/utils/event.py
+${PYSITELIB}/manticore/utils/event.pyc
+${PYSITELIB}/manticore/utils/event.pyo
+${PYSITELIB}/manticore/utils/helpers.py
+${PYSITELIB}/manticore/utils/helpers.pyc
+${PYSITELIB}/manticore/utils/helpers.pyo
+${PYSITELIB}/manticore/utils/iterpickle.py
+${PYSITELIB}/manticore/utils/iterpickle.pyc
+${PYSITELIB}/manticore/utils/iterpickle.pyo
+${PYSITELIB}/manticore/utils/log.py
+${PYSITELIB}/manticore/utils/log.pyc
+${PYSITELIB}/manticore/utils/log.pyo
+${PYSITELIB}/manticore/utils/mappings.py
+${PYSITELIB}/manticore/utils/mappings.pyc
+${PYSITELIB}/manticore/utils/mappings.pyo
+${PYSITELIB}/manticore/utils/nointerrupt.py
+${PYSITELIB}/manticore/utils/nointerrupt.pyc
+${PYSITELIB}/manticore/utils/nointerrupt.pyo
+${PYSITELIB}/tests/EVM/__init__.py
+${PYSITELIB}/tests/EVM/__init__.pyc
+${PYSITELIB}/tests/EVM/__init__.pyo
+${PYSITELIB}/tests/EVM/test_EVMADD.py
+${PYSITELIB}/tests/EVM/test_EVMADD.pyc
+${PYSITELIB}/tests/EVM/test_EVMADD.pyo
+${PYSITELIB}/tests/EVM/test_EVMADDMOD.py
+${PYSITELIB}/tests/EVM/test_EVMADDMOD.pyc
+${PYSITELIB}/tests/EVM/test_EVMADDMOD.pyo
+${PYSITELIB}/tests/EVM/test_EVMADDRESS.py
+${PYSITELIB}/tests/EVM/test_EVMADDRESS.pyc
+${PYSITELIB}/tests/EVM/test_EVMADDRESS.pyo
+${PYSITELIB}/tests/EVM/test_EVMAND.py
+${PYSITELIB}/tests/EVM/test_EVMAND.pyc
+${PYSITELIB}/tests/EVM/test_EVMAND.pyo
+${PYSITELIB}/tests/EVM/test_EVMAssembler.py
+${PYSITELIB}/tests/EVM/test_EVMAssembler.pyc
+${PYSITELIB}/tests/EVM/test_EVMAssembler.pyo
+${PYSITELIB}/tests/EVM/test_EVMBALANCE.py
+${PYSITELIB}/tests/EVM/test_EVMBALANCE.pyc
+${PYSITELIB}/tests/EVM/test_EVMBALANCE.pyo
+${PYSITELIB}/tests/EVM/test_EVMBLOCKHASH.py
+${PYSITELIB}/tests/EVM/test_EVMBLOCKHASH.pyc
+${PYSITELIB}/tests/EVM/test_EVMBLOCKHASH.pyo
+${PYSITELIB}/tests/EVM/test_EVMBYTE.py
+${PYSITELIB}/tests/EVM/test_EVMBYTE.pyc
+${PYSITELIB}/tests/EVM/test_EVMBYTE.pyo
+${PYSITELIB}/tests/EVM/test_EVMCALLCODE.py
+${PYSITELIB}/tests/EVM/test_EVMCALLCODE.pyc
+${PYSITELIB}/tests/EVM/test_EVMCALLCODE.pyo
+${PYSITELIB}/tests/EVM/test_EVMCALLDATALOAD.py
+${PYSITELIB}/tests/EVM/test_EVMCALLDATALOAD.pyc
+${PYSITELIB}/tests/EVM/test_EVMCALLDATALOAD.pyo
+${PYSITELIB}/tests/EVM/test_EVMCALLDATASIZE.py
+${PYSITELIB}/tests/EVM/test_EVMCALLDATASIZE.pyc
+${PYSITELIB}/tests/EVM/test_EVMCALLDATASIZE.pyo
+${PYSITELIB}/tests/EVM/test_EVMCALLER.py
+${PYSITELIB}/tests/EVM/test_EVMCALLER.pyc
+${PYSITELIB}/tests/EVM/test_EVMCALLER.pyo
+${PYSITELIB}/tests/EVM/test_EVMCALLVALUE.py
+${PYSITELIB}/tests/EVM/test_EVMCALLVALUE.pyc
+${PYSITELIB}/tests/EVM/test_EVMCALLVALUE.pyo
+${PYSITELIB}/tests/EVM/test_EVMCODESIZE.py
+${PYSITELIB}/tests/EVM/test_EVMCODESIZE.pyc
+${PYSITELIB}/tests/EVM/test_EVMCODESIZE.pyo
+${PYSITELIB}/tests/EVM/test_EVMCOINBASE.py
+${PYSITELIB}/tests/EVM/test_EVMCOINBASE.pyc
+${PYSITELIB}/tests/EVM/test_EVMCOINBASE.pyo
+${PYSITELIB}/tests/EVM/test_EVMDIFFICULTY.py
+${PYSITELIB}/tests/EVM/test_EVMDIFFICULTY.pyc
+${PYSITELIB}/tests/EVM/test_EVMDIFFICULTY.pyo
+${PYSITELIB}/tests/EVM/test_EVMDIV.py
+${PYSITELIB}/tests/EVM/test_EVMDIV.pyc
+${PYSITELIB}/tests/EVM/test_EVMDIV.pyo
+${PYSITELIB}/tests/EVM/test_EVMDUP.py
+${PYSITELIB}/tests/EVM/test_EVMDUP.pyc
+${PYSITELIB}/tests/EVM/test_EVMDUP.pyo
+${PYSITELIB}/tests/EVM/test_EVMEQ.py
+${PYSITELIB}/tests/EVM/test_EVMEQ.pyc
+${PYSITELIB}/tests/EVM/test_EVMEQ.pyo
+${PYSITELIB}/tests/EVM/test_EVMEXP.py
+${PYSITELIB}/tests/EVM/test_EVMEXP.pyc
+${PYSITELIB}/tests/EVM/test_EVMEXP.pyo
+${PYSITELIB}/tests/EVM/test_EVMEXTCODESIZE.py
+${PYSITELIB}/tests/EVM/test_EVMEXTCODESIZE.pyc
+${PYSITELIB}/tests/EVM/test_EVMEXTCODESIZE.pyo
+${PYSITELIB}/tests/EVM/test_EVMGAS.py
+${PYSITELIB}/tests/EVM/test_EVMGAS.pyc
+${PYSITELIB}/tests/EVM/test_EVMGAS.pyo
+${PYSITELIB}/tests/EVM/test_EVMGASLIMIT.py
+${PYSITELIB}/tests/EVM/test_EVMGASLIMIT.pyc
+${PYSITELIB}/tests/EVM/test_EVMGASLIMIT.pyo
+${PYSITELIB}/tests/EVM/test_EVMGASPRICE.py
+${PYSITELIB}/tests/EVM/test_EVMGASPRICE.pyc
+${PYSITELIB}/tests/EVM/test_EVMGASPRICE.pyo
+${PYSITELIB}/tests/EVM/test_EVMGETPC.py
+${PYSITELIB}/tests/EVM/test_EVMGETPC.pyc
+${PYSITELIB}/tests/EVM/test_EVMGETPC.pyo
+${PYSITELIB}/tests/EVM/test_EVMGT.py
+${PYSITELIB}/tests/EVM/test_EVMGT.pyc
+${PYSITELIB}/tests/EVM/test_EVMGT.pyo
+${PYSITELIB}/tests/EVM/test_EVMINVALID.py
+${PYSITELIB}/tests/EVM/test_EVMINVALID.pyc
+${PYSITELIB}/tests/EVM/test_EVMINVALID.pyo
+${PYSITELIB}/tests/EVM/test_EVMISZERO.py
+${PYSITELIB}/tests/EVM/test_EVMISZERO.pyc
+${PYSITELIB}/tests/EVM/test_EVMISZERO.pyo
+${PYSITELIB}/tests/EVM/test_EVMJUMP.py
+${PYSITELIB}/tests/EVM/test_EVMJUMP.pyc
+${PYSITELIB}/tests/EVM/test_EVMJUMP.pyo
+${PYSITELIB}/tests/EVM/test_EVMJUMPDEST.py
+${PYSITELIB}/tests/EVM/test_EVMJUMPDEST.pyc
+${PYSITELIB}/tests/EVM/test_EVMJUMPDEST.pyo
+${PYSITELIB}/tests/EVM/test_EVMLT.py
+${PYSITELIB}/tests/EVM/test_EVMLT.pyc
+${PYSITELIB}/tests/EVM/test_EVMLT.pyo
+${PYSITELIB}/tests/EVM/test_EVMMOD.py
+${PYSITELIB}/tests/EVM/test_EVMMOD.pyc
+${PYSITELIB}/tests/EVM/test_EVMMOD.pyo
+${PYSITELIB}/tests/EVM/test_EVMMSIZE.py
+${PYSITELIB}/tests/EVM/test_EVMMSIZE.pyc
+${PYSITELIB}/tests/EVM/test_EVMMSIZE.pyo
+${PYSITELIB}/tests/EVM/test_EVMMSTORE8.py
+${PYSITELIB}/tests/EVM/test_EVMMSTORE8.pyc
+${PYSITELIB}/tests/EVM/test_EVMMSTORE8.pyo
+${PYSITELIB}/tests/EVM/test_EVMMUL.py
+${PYSITELIB}/tests/EVM/test_EVMMUL.pyc
+${PYSITELIB}/tests/EVM/test_EVMMUL.pyo
+${PYSITELIB}/tests/EVM/test_EVMMULMOD.py
+${PYSITELIB}/tests/EVM/test_EVMMULMOD.pyc
+${PYSITELIB}/tests/EVM/test_EVMMULMOD.pyo
+${PYSITELIB}/tests/EVM/test_EVMNOT.py
+${PYSITELIB}/tests/EVM/test_EVMNOT.pyc
+${PYSITELIB}/tests/EVM/test_EVMNOT.pyo
+${PYSITELIB}/tests/EVM/test_EVMNUMBER.py
Home |
Main Index |
Thread Index |
Old Index