README.md
setup.cfg
setup.py
manticore/__init__.py
manticore/__main__.py
manticore/abitypes.py
manticore/ethereum.py
manticore/manticore.py
manticore/models.py
manticore/parsetab.py
manticore.egg-info/PKG-INFO
manticore.egg-info/SOURCES.txt
manticore.egg-info/dependency_links.txt
manticore.egg-info/entry_points.txt
manticore.egg-info/requires.txt
manticore.egg-info/top_level.txt
manticore/binary/__init__.py
manticore/core/__init__.py
manticore/core/executor.py
manticore/core/memory.py
manticore/core/plugin.py
manticore/core/state.py
manticore/core/workspace.py
manticore/core/cpu/__init__.py
manticore/core/cpu/abstractcpu.py
manticore/core/cpu/arm.py
manticore/core/cpu/bitwise.py
manticore/core/cpu/cpufactory.py
manticore/core/cpu/disasm.py
manticore/core/cpu/register.py
manticore/core/cpu/x86.py
manticore/core/parser/__init__.py
manticore/core/parser/parser.py
manticore/core/smtlib/__init__.py
manticore/core/smtlib/constraints.py
manticore/core/smtlib/expression.py
manticore/core/smtlib/operators.py
manticore/core/smtlib/solver.py
manticore/core/smtlib/visitors.py
manticore/platforms/__init__.py
manticore/platforms/cgcrandom.py
manticore/platforms/decree.py
manticore/platforms/evm.py
manticore/platforms/linux.py
manticore/platforms/linux_syscalls.py
manticore/platforms/platform.py
manticore/utils/__init__.py
manticore/utils/emulate.py
manticore/utils/event.py
manticore/utils/helpers.py
manticore/utils/iterpickle.py
manticore/utils/log.py
manticore/utils/mappings.py
manticore/utils/nointerrupt.py
tests/__init__.py
tests/eth_benchmark.py
tests/eth_detectors.py
tests/eth_general.py
tests/mockmem.py
tests/test_abi.py
tests/test_armv7_bitwise.py
tests/test_armv7cpu.py
tests/test_armv7rf.py
tests/test_binaries.py
tests/test_cpu_automatic.py
tests/test_cpu_manual.py
tests/test_driver.py
tests/test_dyn.py
tests/test_events.py
tests/test_linux.py
tests/test_manticore.py
tests/test_memory.py
tests/test_models.py
tests/test_register.py
tests/test_slam_regre.py
tests/test_smtlibv2.py
tests/test_state.py
tests/test_unicorn.py
tests/test_workspace.py
tests/test_x86.py
tests/test_x86_pcmpxstrx.py
tests/EVM/__init__.py
tests/EVM/eth_EVMADD.py
tests/EVM/eth_EVMADDMOD.py
tests/EVM/eth_EVMADDRESS.py
tests/EVM/eth_EVMAND.py
tests/EVM/eth_EVMBALANCE.py
tests/EVM/eth_EVMBYTE.py
tests/EVM/eth_EVMCALLCODE.py
tests/EVM/eth_EVMCALLDATALOAD.py
tests/EVM/eth_EVMCALLDATASIZE.py
tests/EVM/eth_EVMCALLER.py
tests/EVM/eth_EVMCALLVALUE.py
tests/EVM/eth_EVMCODESIZE.py
tests/EVM/eth_EVMCOINBASE.py
tests/EVM/eth_EVMDIFFICULTY.py
tests/EVM/eth_EVMDIV.py
tests/EVM/eth_EVMDUP.py
tests/EVM/eth_EVMEQ.py
tests/EVM/eth_EVMEXP.py
tests/EVM/eth_EVMEXTCODESIZE.py
tests/EVM/eth_EVMGAS.py
tests/EVM/eth_EVMGASLIMIT.py
tests/EVM/eth_EVMGASPRICE.py
tests/EVM/eth_EVMGETPC.py
tests/EVM/eth_EVMGT.py
tests/EVM/eth_EVMINVALID.py
tests/EVM/eth_EVMISZERO.py
tests/EVM/eth_EVMJUMP.py
tests/EVM/eth_EVMJUMPDEST.py
tests/EVM/eth_EVMLT.py
tests/EVM/eth_EVMMOD.py
tests/EVM/eth_EVMMSIZE.py
tests/EVM/eth_EVMMSTORE8.py
tests/EVM/eth_EVMMUL.py
tests/EVM/eth_EVMMULMOD.py
tests/EVM/eth_EVMNOT.py
tests/EVM/eth_EVMOR.py
tests/EVM/eth_EVMORIGIN.py
tests/EVM/eth_EVMPOP.py
tests/EVM/eth_EVMPUSH.py
tests/EVM/eth_EVMREVERT.py
tests/EVM/eth_EVMSDIV.py
tests/EVM/eth_EVMSELFDESTRUCT.py
tests/EVM/eth_EVMSGT.py
tests/EVM/eth_EVMSHA3.py
tests/EVM/eth_EVMSIGNEXTEND.py
tests/EVM/eth_EVMSLOAD.py
tests/EVM/eth_EVMSLT.py
tests/EVM/eth_EVMSMOD.py
tests/EVM/eth_EVMSSTORE.py
tests/EVM/eth_EVMSUB.py
tests/EVM/eth_EVMXOR.py