manticore

library0.3.7pypypiunverified

Manticore is a symbolic execution tool for analysis of binaries and smart contracts. Current version 0.3.7 (2022-10-06), released by Trail of Bits. Active development with major refactors in 0.3.x; Ethereum features use crytic-compile.

testing auth-security

pip install manticore

github ↗package ↗homepage ↗

INSTALL

IMPORT

SIG · MANTICORE

manticore

testingpythonv0.3.7

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Manticore

✓ from manticore import Manticore

✗ from manticore.core import Manticore

Old import path from <0.3.0

EthereumManticore

✓ from manticore.ethereum import EthereumManticore

✗ from manticore import EthereumManticore

Common mistake

ManticoreBase

✓ from manticore.core.smtlib import ManticoreBase

✗ from manticore import ManticoreBase

Not top-level

Basic native binary symbolic execution. For Ethereum, use EthereumManticore.

from manticore import Manticore m = Manticore('/bin/ls') m.run() for state in m.running_states: print(state.solve_one())

manticore --version

Debug

Known issues

breakingManticore 0.3.0+ requires Python >=3.7 and rewrites the executor API. Old scripts using manticore.core.xxx will break.

fix

Replace 'manticore.core.xxx' with 'manticore.xxx' as per new API.

affects: <0.3.0

deprecatedThe old Ethereum API (ManticoreEVM) is deprecated in favor of EthereumManticore (import from manticore.ethereum).

fix

Use 'from manticore.ethereum import EthereumManticore' instead.

affects: >=0.3.0

gotchaManticore may hang or crash in multiprocessing mode due to Z3 SMT solver issues. Use single process (m = Manticore(procs=1)) for troubleshooting.

fix

Set procs=1 in Manticore constructor.

affects: all

Upgrade

Version history

0.3.7latest on PyPI · released Feb 17, 2022

Audit

Dependencies

crytic-compilerequiredRequired for Ethereum smart contract analysis

keystone-engineoptionalRequired for native binary support

Agent activity

15 hits · last 30 days

node

OpenAI (training)

Resources

githubhttps://github.com/trailofbits/manticore ↗

packagehttps://pypi.org/project/manticore/ ↗

homepagehttps://manticore.readthedocs.io ↗