.codeclimate.yml
.gitignore
.travis.yml
CHANGELOG.md
CONTRIBUTING.md
Dockerfile
LICENSE
README.md
setup.py
tox.ini
.github/ISSUE_TEMPLATE.md
docs/Makefile
docs/api.rst
docs/conf.py
docs/gotchas.rst
docs/index.rst
docs/make.bat
docs/models.rst
docs/syminput.rst
examples/cgc/simple/Makefile
examples/cgc/simple/main.c
examples/cgc/stack/Makefile
examples/cgc/stack/main.c
examples/cgc/strncmp/Makefile
examples/cgc/strncmp/main.c
examples/evm/asm.py
examples/evm/asm_to_smtlib.py
examples/evm/complete.py
examples/evm/coverage.py
examples/evm/coverage.sol
examples/evm/mappingchallenge.py
examples/evm/minimal.py
examples/evm/minimal_bytecode_only.py
examples/evm/reentrancy_concrete.py
examples/evm/reentrancy_symbolic.py
examples/evm/simple_int_overflow.sol
examples/evm/simple_mapping.py
examples/evm/simple_multi_func.sol
examples/evm/simple_value_check.sol
examples/evm/two_tx_ovf.sol
examples/evm/umd_example.sol
examples/evm/use_def.py
examples/linux/Makefile
examples/linux/arguments.c
examples/linux/baby-re.c
examples/linux/basic.c
examples/linux/crackme.py
examples/linux/helloworld.c
examples/linux/ibranch.c
examples/linux/indexhell.c
examples/linux/lava.c
examples/linux/nostdlib.c
examples/linux/sendmail.c
examples/linux/simple_copy.c
examples/linux/simpleassert.c
examples/linux/sindex.c
examples/linux/strncmp.c
examples/linux/binaries/concrete_solve.py
examples/linux/binaries/corruption
examples/linux/binaries/multiple-styles
examples/linux/binaries/symbolic_solve.py
examples/script/concolic.py
examples/script/count_instructions.py
examples/script/introduce_symbolic_bytes.py
examples/script/lads-baby-re.py
examples/script/run_hook.py
examples/script/run_simple.py
examples/script/state_control.py
examples/script/src/state_explore.c
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/binja.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
scripts/benchmark.py
scripts/extract_syscalls.py
scripts/follow_trace.py
scripts/gdb.py
scripts/qemu.py
scripts/stats.py
scripts/travis_install.sh
scripts/travis_test.sh
scripts/verify.py
scripts/binaryninja/README.md
scripts/binaryninja/manticore_viz/__init__.py
scripts/binaryninja/manticore_viz/plugin.json
tests/__init__.py
tests/a.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_eth.py
tests/test_eth_benchmark.py
tests/test_events.py
tests/test_indexhell.py
tests/test_linux.py
tests/test_manticore.py
tests/test_memory.py
tests/test_models.py
tests/test_plugin.py
tests/test_register.py
tests/test_slam.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/test_EVMADD.py
tests/EVM/test_EVMADDMOD.py
tests/EVM/test_EVMADDRESS.py
tests/EVM/test_EVMAND.py
tests/EVM/test_EVMAssembler.py
tests/EVM/test_EVMBALANCE.py
tests/EVM/test_EVMBYTE.py
tests/EVM/test_EVMCALLCODE.py
tests/EVM/test_EVMCALLDATALOAD.py
tests/EVM/test_EVMCALLDATASIZE.py
tests/EVM/test_EVMCALLER.py
tests/EVM/test_EVMCALLVALUE.py
tests/EVM/test_EVMCODESIZE.py
tests/EVM/test_EVMCOINBASE.py
tests/EVM/test_EVMDIFFICULTY.py
tests/EVM/test_EVMDIV.py
tests/EVM/test_EVMDUP.py
tests/EVM/test_EVMEQ.py
tests/EVM/test_EVMEXP.py
tests/EVM/test_EVMEXTCODESIZE.py
tests/EVM/test_EVMGAS.py
tests/EVM/test_EVMGASLIMIT.py
tests/EVM/test_EVMGASPRICE.py
tests/EVM/test_EVMGETPC.py
tests/EVM/test_EVMGT.py
tests/EVM/test_EVMINVALID.py
tests/EVM/test_EVMISZERO.py
tests/EVM/test_EVMJUMP.py
tests/EVM/test_EVMJUMPDEST.py
tests/EVM/test_EVMLT.py
tests/EVM/test_EVMMOD.py
tests/EVM/test_EVMMSIZE.py
tests/EVM/test_EVMMSTORE8.py
tests/EVM/test_EVMMUL.py
tests/EVM/test_EVMMULMOD.py
tests/EVM/test_EVMNOT.py
tests/EVM/test_EVMOR.py
tests/EVM/test_EVMORIGIN.py
tests/EVM/test_EVMPOP.py
tests/EVM/test_EVMPUSH.py
tests/EVM/test_EVMREVERT.py
tests/EVM/test_EVMSDIV.py
tests/EVM/test_EVMSELFDESTRUCT.py
tests/EVM/test_EVMSGT.py
tests/EVM/test_EVMSHA3.py
tests/EVM/test_EVMSIGNEXTEND.py
tests/EVM/test_EVMSLOAD.py
tests/EVM/test_EVMSLT.py
tests/EVM/test_EVMSMOD.py
tests/EVM/test_EVMSSTORE.py
tests/EVM/test_EVMSUB.py
tests/EVM/test_EVMXOR.py
tests/auto/Readme.md
tests/auto/flags.py
tests/auto/make_dump.py
tests/auto/make_evmtests.py
tests/auto/make_tests.py
tests/auto/trace.py
tests/binaries/676.sol
tests/binaries/678.sol
tests/binaries/701.sol
tests/binaries/705.sol
tests/binaries/714.sol
tests/binaries/735.sol
tests/binaries/760.sol
tests/binaries/780.sol
tests/binaries/795.sol
tests/binaries/799.sol
tests/binaries/807.sol
tests/binaries/808.sol
tests/binaries/arguments
tests/binaries/arguments_linux_amd64
tests/binaries/arguments_linux_armv7
tests/binaries/basic_linux_amd64
tests/binaries/basic_linux_armv7
tests/binaries/brk_static_amd64
tests/binaries/cadet_decree_x86
tests/binaries/imp.sol
tests/binaries/int_overflow.sol
tests/binaries/reached.sol
tests/binaries/benchmark/assert_constructor.sol
tests/binaries/benchmark/assert_minimal.sol
tests/binaries/benchmark/assert_multitx_1.sol
tests/binaries/benchmark/assert_multitx_2.sol
tests/binaries/benchmark/assert_require.sol
tests/binaries/benchmark/assert_sym.sol
tests/binaries/benchmark/attribute_store.sol
tests/binaries/benchmark/integer_overflow_add.sol
tests/binaries/benchmark/integer_overflow_benign_1.sol
tests/binaries/benchmark/integer_overflow_benign_2.sol
tests/binaries/benchmark/integer_overflow_bytes_param.sol
tests/binaries/benchmark/integer_overflow_dynarray.sol
tests/binaries/benchmark/integer_overflow_mapping_mapping.sol
tests/binaries/benchmark/integer_overflow_mapping_staticarray.sol
tests/binaries/benchmark/integer_overflow_mapping_strkey.sol
tests/binaries/benchmark/integer_overflow_mapping_struct.sol
tests/binaries/benchmark/integer_overflow_mapping_sym_1.sol
tests/binaries/benchmark/integer_overflow_mapping_sym_2.sol
tests/binaries/benchmark/integer_overflow_mapping_word.sol
tests/binaries/benchmark/integer_overflow_minimal.sol
tests/binaries/benchmark/integer_overflow_mul.sol
tests/binaries/benchmark/integer_overflow_multitx_multifunc_feasible.sol
tests/binaries/benchmark/integer_overflow_multitx_onefunc_feasible.sol
tests/binaries/benchmark/integer_overflow_multitx_onefunc_infeasible.sol
tests/binaries/benchmark/integer_overflow_path_1.sol
tests/binaries/benchmark/integer_overflow_staticarray.sol
tests/binaries/benchmark/integer_overflow_storageinvariant.sol
tests/binaries/benchmark/integer_overflow_storagepacking.sol
tests/reference/arguments_linux_amd64_visited.txt