{"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.","language":"python","status":"active","last_verified":"Sat May 09","install":{"commands":["pip install manticore","pip install manticore[native]"],"cli":{"name":"manticore","version":""}},"imports":["from manticore import Manticore","from manticore.ethereum import EthereumManticore","from manticore.core.smtlib import ManticoreBase"],"auth":{"required":false,"env_vars":[]},"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.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":null}