MANIFEST.in
README.md
requirements.txt
setup.py
mythril/__init__.py
mythril/__main__.py
mythril/__version__.py
mythril/exceptions.py
mythril.egg-info/PKG-INFO
mythril.egg-info/SOURCES.txt
mythril.egg-info/dependency_links.txt
mythril.egg-info/entry_points.txt
mythril.egg-info/requires.txt
mythril.egg-info/top_level.txt
mythril/analysis/__init__.py
mythril/analysis/analysis_args.py
mythril/analysis/call_helpers.py
mythril/analysis/callgraph.py
mythril/analysis/ops.py
mythril/analysis/potential_issues.py
mythril/analysis/report.py
mythril/analysis/security.py
mythril/analysis/solver.py
mythril/analysis/swc_data.py
mythril/analysis/symbolic.py
mythril/analysis/traceexplore.py
mythril/analysis/module/__init__.py
mythril/analysis/module/base.py
mythril/analysis/module/loader.py
mythril/analysis/module/module_helpers.py
mythril/analysis/module/util.py
mythril/analysis/module/modules/__init__.py
mythril/analysis/module/modules/arbitrary_jump.py
mythril/analysis/module/modules/arbitrary_write.py
mythril/analysis/module/modules/delegatecall.py
mythril/analysis/module/modules/dependence_on_origin.py
mythril/analysis/module/modules/dependence_on_predictable_vars.py
mythril/analysis/module/modules/ether_thief.py
mythril/analysis/module/modules/exceptions.py
mythril/analysis/module/modules/external_calls.py
mythril/analysis/module/modules/integer.py
mythril/analysis/module/modules/multiple_sends.py
mythril/analysis/module/modules/state_change_external_calls.py
mythril/analysis/module/modules/suicide.py
mythril/analysis/module/modules/unchecked_retval.py
mythril/analysis/module/modules/user_assertions.py
mythril/analysis/templates/callgraph.html
mythril/analysis/templates/report_as_markdown.jinja2
mythril/analysis/templates/report_as_text.jinja2
mythril/concolic/__init__.py
mythril/concolic/concolic_execution.py
mythril/concolic/concrete_data.py
mythril/concolic/find_trace.py
mythril/disassembler/__init__.py
mythril/disassembler/asm.py
mythril/disassembler/disassembly.py
mythril/ethereum/__init__.py
mythril/ethereum/evmcontract.py
mythril/ethereum/util.py
mythril/ethereum/interface/__init__.py
mythril/ethereum/interface/rpc/__init__.py
mythril/ethereum/interface/rpc/base_client.py
mythril/ethereum/interface/rpc/client.py
mythril/ethereum/interface/rpc/constants.py
mythril/ethereum/interface/rpc/exceptions.py
mythril/ethereum/interface/rpc/utils.py
mythril/interfaces/__init__.py
mythril/interfaces/cli.py
mythril/interfaces/epic.py
mythril/laser/__init__.py
mythril/laser/execution_info.py
mythril/laser/ethereum/__init__.py
mythril/laser/ethereum/call.py
mythril/laser/ethereum/cfg.py
mythril/laser/ethereum/evm_exceptions.py
mythril/laser/ethereum/instruction_data.py
mythril/laser/ethereum/instructions.py
mythril/laser/ethereum/natives.py
mythril/laser/ethereum/svm.py
mythril/laser/ethereum/time_handler.py
mythril/laser/ethereum/util.py
mythril/laser/ethereum/function_managers/__init__.py
mythril/laser/ethereum/function_managers/exponent_function_manager.py
mythril/laser/ethereum/function_managers/keccak_function_manager.py
mythril/laser/ethereum/state/__init__.py
mythril/laser/ethereum/state/account.py
mythril/laser/ethereum/state/annotation.py
mythril/laser/ethereum/state/calldata.py
mythril/laser/ethereum/state/constraints.py
mythril/laser/ethereum/state/environment.py
mythril/laser/ethereum/state/global_state.py
mythril/laser/ethereum/state/machine_state.py
mythril/laser/ethereum/state/memory.py
mythril/laser/ethereum/state/world_state.py
mythril/laser/ethereum/strategy/__init__.py
mythril/laser/ethereum/strategy/basic.py
mythril/laser/ethereum/strategy/concolic.py
mythril/laser/ethereum/strategy/extensions/__init__.py
mythril/laser/ethereum/strategy/extensions/bounded_loops.py
mythril/laser/ethereum/transaction/__init__.py
mythril/laser/ethereum/transaction/concolic.py
mythril/laser/ethereum/transaction/symbolic.py
mythril/laser/ethereum/transaction/transaction_models.py
mythril/laser/plugin/__init__.py
mythril/laser/plugin/builder.py
mythril/laser/plugin/interface.py
mythril/laser/plugin/loader.py
mythril/laser/plugin/signals.py
mythril/laser/plugin/plugins/__init__.py
mythril/laser/plugin/plugins/benchmark.py
mythril/laser/plugin/plugins/call_depth_limiter.py
mythril/laser/plugin/plugins/dependency_pruner.py
mythril/laser/plugin/plugins/instruction_profiler.py
mythril/laser/plugin/plugins/mutation_pruner.py
mythril/laser/plugin/plugins/plugin_annotations.py
mythril/laser/plugin/plugins/coverage/__init__.py
mythril/laser/plugin/plugins/coverage/coverage_plugin.py
mythril/laser/plugin/plugins/coverage/coverage_strategy.py
mythril/laser/plugin/plugins/summary_backup/__init__.py
mythril/laser/smt/__init__.py
mythril/laser/smt/array.py
mythril/laser/smt/bitvec.py
mythril/laser/smt/bitvec_helper.py
mythril/laser/smt/bool.py
mythril/laser/smt/expression.py
mythril/laser/smt/function.py
mythril/laser/smt/model.py
mythril/laser/smt/solver/__init__.py
mythril/laser/smt/solver/independence_solver.py
mythril/laser/smt/solver/solver.py
mythril/laser/smt/solver/solver_statistics.py
mythril/mythril/__init__.py
mythril/mythril/mythril_analyzer.py
mythril/mythril/mythril_config.py
mythril/mythril/mythril_disassembler.py
mythril/plugin/__init__.py
mythril/plugin/discovery.py
mythril/plugin/interface.py
mythril/plugin/loader.py
mythril/solidity/__init__.py
mythril/solidity/soliditycontract.py
mythril/support/__init__.py
mythril/support/loader.py
mythril/support/model.py
mythril/support/opcodes.py
mythril/support/signatures.py
mythril/support/source_support.py
mythril/support/start_time.py
mythril/support/support_args.py
mythril/support/support_utils.py
mythril/support/assets/signatures.db
tests/disassembler/__init__.py
tests/disassembler/asm.py
tests/disassembler/disassembly.py
tests/instructions/__init__.py
tests/instructions/berlin_fork_opcodes_test.py
tests/instructions/codecopy_test.py
tests/instructions/create2_test.py
tests/instructions/create_test.py
tests/instructions/extcodecopy_test.py
tests/instructions/extcodehash_test.py
tests/instructions/sar_test.py
tests/instructions/shl_test.py
tests/instructions/shr_test.py
tests/instructions/static_call_test.py
tests/instructions/test_basefee.py
tests/laser/__init__.py
tests/laser/keccak_tests.py
tests/laser/test_transaction.py
tests/laser/smt/__init__.py
tests/laser/smt/independece_solver_test.py
tests/laser/smt/model_test.py
tests/laser/state/__init__.py
tests/laser/state/calldata_test.py
tests/laser/state/mstack_test.py
tests/laser/state/mstate_test.py
tests/laser/state/storage_test.py
tests/laser/state/world_state_account_exist_load_test.py
tests/laser/transaction/__init__.py
tests/laser/transaction/create_transaction_test.py
tests/laser/transaction/symbolic_test.py
tests/testdata/__init__.py
tests/testdata/compile.py