devel/py-manticore - The NetBSD Packages Collection

Symbolic execution tool for analysis of binaries and smart contracts

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).

Build dependencies

pkgtools/cwrappers

Runtime dependencies

devel/py-angr devel/py-capstone devel/py-rlp devel/py-ply devel/py-pyelftools devel/py-pysha3 emulators/py-unicorn finance/py-crytic-compile finance/py-pyevmasm math/py-z3solver textproc/py-ptable devel/py-wasm textproc/py-yaml devel/py-setuptools lang/python39 lang/python39

Binary packages

OSArchitectureVersion
NetBSD 9.0aarch64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0aarch64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy37-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy38-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy39-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy37-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy38-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy39-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy37-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy38-manticore-0.3.4nb1.tgz
NetBSD 9.0earmv6hfpy39-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py37-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py38-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py39-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py37-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py38-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py39-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py37-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py38-manticore-0.3.4nb1.tgz
NetBSD 9.0i386py39-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py39-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py37-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py38-manticore-0.3.4nb1.tgz
NetBSD 9.0x86_64py39-manticore-0.3.4nb1.tgz

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.

Available build options

(none)

Known vulnerabilities

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.


Problem reports, updates or suggestions for this package should be reported with send-pr.