./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.3.7, Package name: py310-manticore-0.3.7, 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:

Filesize: 376.417 KB

Version history: (Expand)

CVS history: (Expand)


   2024-10-13 21:56:58 by Thomas Klausner | Files touched by this commit (7) 
Log message:
py-sha3: not for Python 3.13

Mark all dependencies of it the same way.
   2023-11-03 10:59:07 by Thomas Klausner | Files touched by this commit (1) 
Log message:
py-manticore: not for Python 3.12
   2023-05-11 11:53:06 by Adam Ciarcinski | Files touched by this commit (4) | Package updated
Log message:
py-manticore: updated to 0.3.7

0.3.7

Ethereum

Use crytic-compile 0.2.2
Multi-transaction analysis now uses fixed attacker and owner contracts

Native

[Added API] Retrieve list of unimplemented syscalls
Add FXSAVE/FXRSTOR concrete support on x86
Add last_executed_pc property to CPU
Support LD_LIBRARY_PATH
Optional will/did_read_memory events
Fixed base address handling on Linux
Add ENDBR-style NOPs
Support epoll-related syscalls

Other

[Added API] Add fork policy for providing explicit values
Fixed Constant Folding
Add simplifications for subtraction
Parent state ID, last PC now available in state descriptors
States now contain a reference to the current manticore instance
fast_fail config to exit after first state exception
Scaling bugfix for large solver queries
Don't fork when only one solution is found for Concretize
   2022-11-14 15:34:49 by Thomas Klausner | Files touched by this commit (15) 
Log message:
py-pysha3: mark as not for python 3.11

This was only ever intended for python < 3.6, but we do have some
users in pkgsrc on newer python versions.
   2022-01-05 16:41:32 by Thomas Klausner | Files touched by this commit (289) 
Log message:
python: egg.mk: add USE_PKG_RESOURCES flag

This flag should be set for packages that import pkg_resources
and thus need setuptools after the build step.

Set this flag for packages that need it and bump PKGREVISION.
   2022-01-04 21:55:40 by Thomas Klausner | Files touched by this commit (1595) 
Log message:
*: bump PKGREVISION for egg.mk users

They now have a tool dependency on py-setuptools instead of a DEPENDS
   2021-12-30 14:05:42 by Adam Ciarcinski | Files touched by this commit (125) 
Log message:
Forget about Python 3.6
   2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) 
Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip