./devel/py-manticore, Symbolic execution tool for analysis of binaries and smart contracts

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2018Q1, Version: 0.1.7nb5, Package name: py27-manticore-0.1.7nb5, Maintainer: khorben

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


Required to run:
[lang/python27] [devel/py-capstone] [devel/py-pyelftools]

Master sites:

SHA1: 69bb8605a5ffc8a199ab4d20fcf5e4d8a12fdcac
RMD160: 6b28f72a374d7944b2bd35b5f4aa99ef05345c44
Filesize: 2680.21 KB

Version history: (Expand)