{"id":27939,"library":"manticore","title":"Manticore","description":"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.","status":"active","version":"0.3.7","language":"python","source_language":"en","source_url":"https://github.com/trailofbits/manticore","tags":["symbolic-execution","binary-analysis","ethereum","smart-contracts","trail-of-bits"],"install":[{"cmd":"pip install manticore","lang":"bash","label":"pip install"},{"cmd":"pip install manticore[native]","lang":"bash","label":"With native binary support"}],"dependencies":[{"reason":"Required for Ethereum smart contract analysis","package":"crytic-compile","optional":false},{"reason":"Required for native binary support","package":"keystone-engine","optional":true}],"imports":[{"note":"Old import path from <0.3.0","wrong":"from manticore.core import Manticore","symbol":"Manticore","correct":"from manticore import Manticore"},{"note":"Common mistake","wrong":"from manticore import EthereumManticore","symbol":"EthereumManticore","correct":"from manticore.ethereum import EthereumManticore"},{"note":"Not top-level","wrong":"from manticore import ManticoreBase","symbol":"ManticoreBase","correct":"from manticore.core.smtlib import ManticoreBase"}],"quickstart":{"code":"from manticore import Manticore\n\nm = Manticore('/bin/ls')\nm.run()\nfor state in m.running_states:\n    print(state.solve_one())\n","lang":"python","description":"Basic native binary symbolic execution. For Ethereum, use EthereumManticore."},"warnings":[{"fix":"Replace 'manticore.core.xxx' with 'manticore.xxx' as per new API.","message":"Manticore 0.3.0+ requires Python >=3.7 and rewrites the executor API. Old scripts using manticore.core.xxx will break.","severity":"breaking","affected_versions":"<0.3.0"},{"fix":"Use 'from manticore.ethereum import EthereumManticore' instead.","message":"The old Ethereum API (ManticoreEVM) is deprecated in favor of EthereumManticore (import from manticore.ethereum).","severity":"deprecated","affected_versions":">=0.3.0"},{"fix":"Set procs=1 in Manticore constructor.","message":"Manticore may hang or crash in multiprocessing mode due to Z3 SMT solver issues. Use single process (m = Manticore(procs=1)) for troubleshooting.","severity":"gotcha","affected_versions":"all"}],"env_vars":null,"last_verified":"2026-05-09T00:00:00.000Z","next_check":"2026-08-07T00:00:00.000Z","problems":[{"fix":"Use 'from manticore import Manticore' for the top-level class.","cause":"Old import path used before 0.3.0 rewrites.","error":"ImportError: cannot import name 'Manticore' from 'manticore'"},{"fix":"pip install crytic-compile, or reinstall manticore with pip install manticore[evm]","cause":"Missing crytic-compile dependency for Ethereum analysis.","error":"ModuleNotFoundError: No module named 'crytic_compile'"},{"fix":"Install Unicorn engine: pip install unicorn, or on Ubuntu: apt-get install libunicorn-dev","cause":"Missing Unicorn emulator library for native binary analysis.","error":"OSError: libunicorn.so.1: cannot open shared object file"}],"ecosystem":"pypi","meta_description":null,"install_score":null,"install_tag":null,"quickstart_score":null,"quickstart_tag":null}