py27-manticore - Symbolic execution tool for analysis of binaries and smart contracts

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename py27-manticore-0.1.9.tgz
Package name py27-manticore
Package version 0.1.9
Package release -
Package architecture i386
Package type tgz
Category devel
License apache-2.0
Maintainer -
Download size 1.02 MB
Installed size 32.58 MB
Manticore is a symbolic execution tool for analysis of binaries and smart
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).


Package Version Architecture Repository
py27-manticore-0.1.9.tgz 0.1.9 amd64 NetBSD
py27-manticore - - -


Name Value
py27-capstone -
py27-ply -
py27-pyelftools -
py27-pysha3 -
py27-setuptools >= 0.8
py27-unicorn -
py27-z3solver -
python27 >= 2.7.1nb2


Type URL
Binary Package py27-manticore-0.1.9.tgz
Source Package py27-manticore

Install Howto

Install py27-manticore tgz package:

# pkg_add py27-manticore

See Also

Package Description
py27-marisa-0.2.4.tgz MARISA python module
py27-markdown-2.6.11.tgz XHTML generator using a simple markup
py27-markdown2-2.3.7.tgz Fast and complete Python implementation of Markdown
py27-markdown2social-0.3.tgz Converts simple Markdown documents to Google+ posts
py27-markupsafe-1.1.0.tgz Implements a unicode subclass that supports HTML strings
py27-mastodon-1.3.1.tgz Python wrapper for the Mastodon API
py27-matplotlib-2.2.2nb1.tgz Matlab-style plotting package for Python
py27-matplotlib-gtk-2.2.2nb4.tgz GTK frontend for matplotlib
py27-matplotlib-tk-2.2.2nb1.tgz Tk frontend for matplotlib
py27-maya-0.3.3.tgz Human-friendly date and time handling
py27-mccabe-0.6.1.tgz Mccabe plugin for the Python program checker flake8
py27-mcomix-1.2.1nb4.tgz GTK2 comic book viewer
py27-mcrypt-1.1nb2.tgz Python interface to mcrypt library
py27-mecab-0.996.tgz MeCab python module
py27-mechanize-0.3.7.tgz Stateful programmatic web browsing in Python