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

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


Branch: CURRENT, Version: 0.1.9, Package name: py27-manticore-0.1.9, 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:
[devel/py-setuptools] [lang/python27] [devel/py-ply] [devel/py-capstone] [emulators/py-unicorn] [devel/py-pysha3] [devel/py-pyelftools] [math/py-z3solver]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: ae205157778b941b4431d2f6835fcc8fa42896e9
RMD160: 7ac41f81a16961428b59a47cd860696a2298bcfc
Filesize: 2686.176 KB

Version history: (Expand)


CVS history: (Expand)


   2018-05-07 00:20:22 by Pierre Pronchery | Files touched by this commit (2)
Log message:
Package py-manticore version 0.1.9

From the release notes:

Added:

 * Ethereum: --txnocoverage cli argument to suppress coverage based analysis \ 
halting criteria
 * Ethereum: Support added for more Solidity features (imports, uint/int types, \ 
function types)

Fixed:

 * Numerous Ethereum ABI fixes
 * Linux and x86/64 emulation fixes
 * Solver performance issue
   2018-04-06 03:46:33 by Pierre Pronchery | Files touched by this commit (2) | Package updated
Log message:
Update devel/py-manticore to version 0.1.8

From the release notes:

  Manticore 0.1.8 (#851)

  (thanks for 1k)

  * Bump version numbers
  * initial changelog update
  * Add changelog content
  * add contribs
   2018-03-20 16:50:06 by Pierre Pronchery | Files touched by this commit (1) | Package updated
Log message:
Let manticore depend on the implementation of Z3 it actually requires

With this change, this package should finally work for real.

Bump PKGREVISION.
   2018-03-20 16:44:06 by Pierre Pronchery | Files touched by this commit (1) | Package updated
Log message:
Register missing dependency on devel/py-pyelftools

Bump PKGREVISION.
   2018-03-20 16:37:53 by Pierre Pronchery | Files touched by this commit (1) | Package updated
Log message:
Register missing dependency on devel/py-pyelftools

Bump PKGREVISION.
   2018-03-13 01:58:35 by Pierre Pronchery | Files touched by this commit (1) | Package updated
Log message:
devel/py-manticore really depends on the Python bindings for math/z3

Bump PKGREVISION.
   2018-02-26 03:31:34 by Pierre Pronchery | Files touched by this commit (1)
Log message:
Correct the dependency on unicorn

Manticore really depends on the Python bindings for Unicorn.

Bumps PKGREVISION.
   2018-02-25 22:58:48 by Pierre Pronchery | Files touched by this commit (3) | Package updated
Log message:
Update devel/py-manticore to version 0.1.7

From the release notes:

This release brings EVM, performance, Linux emulation, and API improvements,
along with numerous bug fixes. Thanks again to our external contributors!

Added:

 * Documentation on symbolic input
 * "force" keyword argument in cpu.write_bytes/read_bytes etc.
 * Linux syscalls: getrandom(), openat()

Fixed

 * Improved ARMv7 Thumb support
 * Numerous EVM bug fixes and improvements (transaction generation, SHA3
   handling, instruction tracing, int overflow detection)
 * Improved x86/64 emulation performance