├── .circleci └── config.yml ├── .dockerignore ├── .drone.yml ├── .editorconfig ├── .gitattributes ├── .github ├── ISSUE_TEMPLATE │ ├── analysis-module.md │ ├── bug-report.md │ └── feature-request.md ├── dependabot.yml └── workflows │ ├── container.yml │ ├── pre-commit-hooks-test.yml │ └── pre-commit.yml ├── .gitignore ├── .pre-commit-config.yaml ├── .pre-commit-hooks.yaml ├── CONTRIBUTING.md ├── Dockerfile ├── LICENSE ├── MANIFEST.in ├── README.md ├── all_tests.sh ├── coverage_report.sh ├── docker-bake.hcl ├── docker ├── docker-entrypoint.sh └── sync-svm-solc-versions-with-solcx.sh ├── docker_build_and_deploy.sh ├── docs ├── Makefile ├── make.bat └── source │ ├── about.rst │ ├── analysis-modules.rst │ ├── conf.py │ ├── create-module.rst │ ├── index.rst │ ├── installation.rst │ ├── module-list.rst │ ├── modules.rst │ ├── mythril.analysis.module.modules.rst │ ├── mythril.analysis.module.rst │ ├── mythril.analysis.rst │ ├── mythril.concolic.rst │ ├── mythril.disassembler.rst │ ├── mythril.ethereum.interface.rpc.rst │ ├── mythril.ethereum.interface.rst │ ├── mythril.ethereum.rst │ ├── mythril.interfaces.rst │ ├── mythril.laser.ethereum.function_managers.rst │ ├── mythril.laser.ethereum.rst │ ├── mythril.laser.ethereum.state.rst │ ├── mythril.laser.ethereum.strategy.extensions.rst │ ├── mythril.laser.ethereum.strategy.rst │ ├── mythril.laser.ethereum.transaction.rst │ ├── mythril.laser.plugin.plugins.coverage.rst │ ├── mythril.laser.plugin.plugins.rst │ ├── mythril.laser.plugin.plugins.summary_backup.rst │ ├── mythril.laser.plugin.rst │ ├── mythril.laser.rst │ ├── mythril.laser.smt.rst │ ├── mythril.laser.smt.solver.rst │ ├── mythril.mythril.rst │ ├── mythril.plugin.rst │ ├── mythril.rst │ ├── mythril.solidity.rst │ ├── mythril.support.rst │ ├── security-analysis.rst │ └── tutorial.rst ├── mypy-stubs └── z3 │ ├── __init__.pyi │ ├── z3core.pyi │ └── z3types.pyi ├── myth ├── mythril ├── __init__.py ├── __main__.py ├── __version__.py ├── analysis │ ├── __init__.py │ ├── analysis_args.py │ ├── call_helpers.py │ ├── callgraph.py │ ├── issue_annotation.py │ ├── module │ │ ├── __init__.py │ │ ├── base.py │ │ ├── loader.py │ │ ├── module_helpers.py │ │ ├── modules │ │ │ ├── __init__.py │ │ │ ├── arbitrary_jump.py │ │ │ ├── arbitrary_write.py │ │ │ ├── delegatecall.py │ │ │ ├── dependence_on_origin.py │ │ │ ├── dependence_on_predictable_vars.py │ │ │ ├── ether_thief.py │ │ │ ├── exceptions.py │ │ │ ├── external_calls.py │ │ │ ├── integer.py │ │ │ ├── multiple_sends.py │ │ │ ├── requirements_violation.py │ │ │ ├── state_change_external_calls.py │ │ │ ├── suicide.py │ │ │ ├── transaction_order_dependence.py │ │ │ ├── unchecked_retval.py │ │ │ ├── unexpected_ether.py │ │ │ └── user_assertions.py │ │ └── util.py │ ├── ops.py │ ├── potential_issues.py │ ├── report.py │ ├── security.py │ ├── solver.py │ ├── swc_data.py │ ├── symbolic.py │ ├── templates │ │ ├── callgraph.html │ │ ├── report_as_markdown.jinja2 │ │ └── report_as_text.jinja2 │ └── traceexplore.py ├── concolic │ ├── __init__.py │ ├── concolic_execution.py │ ├── concrete_data.py │ └── find_trace.py ├── config.ini ├── disassembler │ ├── __init__.py │ ├── asm.py │ └── disassembly.py ├── ethereum │ ├── __init__.py │ ├── evmcontract.py │ ├── interface │ │ ├── __init__.py │ │ └── rpc │ │ │ ├── __init__.py │ │ │ ├── base_client.py │ │ │ ├── client.py │ │ │ ├── constants.py │ │ │ ├── exceptions.py │ │ │ └── utils.py │ └── util.py ├── exceptions.py ├── interfaces │ ├── __init__.py │ ├── cli.py │ └── epic.py ├── laser │ ├── __init__.py │ ├── ethereum │ │ ├── __init__.py │ │ ├── call.py │ │ ├── cfg.py │ │ ├── cheat_code.py │ │ ├── evm_exceptions.py │ │ ├── function_managers │ │ │ ├── __init__.py │ │ │ ├── exponent_function_manager.py │ │ │ └── keccak_function_manager.py │ │ ├── instruction_data.py │ │ ├── instructions.py │ │ ├── natives.py │ │ ├── state │ │ │ ├── __init__.py │ │ │ ├── account.py │ │ │ ├── annotation.py │ │ │ ├── calldata.py │ │ │ ├── constraints.py │ │ │ ├── environment.py │ │ │ ├── global_state.py │ │ │ ├── machine_state.py │ │ │ ├── memory.py │ │ │ ├── return_data.py │ │ │ ├── transient_storage.py │ │ │ └── world_state.py │ │ ├── strategy │ │ │ ├── __init__.py │ │ │ ├── basic.py │ │ │ ├── beam.py │ │ │ ├── concolic.py │ │ │ ├── constraint_strategy.py │ │ │ └── extensions │ │ │ │ ├── __init__.py │ │ │ │ └── bounded_loops.py │ │ ├── svm.py │ │ ├── time_handler.py │ │ ├── transaction │ │ │ ├── __init__.py │ │ │ ├── concolic.py │ │ │ ├── symbolic.py │ │ │ └── transaction_models.py │ │ ├── tx_prioritiser │ │ │ ├── __init__.py │ │ │ └── rf_prioritiser.py │ │ └── util.py │ ├── execution_info.py │ ├── plugin │ │ ├── __init__.py │ │ ├── builder.py │ │ ├── interface.py │ │ ├── loader.py │ │ ├── plugins │ │ │ ├── __init__.py │ │ │ ├── benchmark.py │ │ │ ├── call_depth_limiter.py │ │ │ ├── coverage │ │ │ │ ├── __init__.py │ │ │ │ ├── coverage_plugin.py │ │ │ │ └── coverage_strategy.py │ │ │ ├── coverage_metrics │ │ │ │ ├── __init__.py │ │ │ │ ├── constants.py │ │ │ │ ├── coverage_data.py │ │ │ │ └── metrics_plugin.py │ │ │ ├── dependency_pruner.py │ │ │ ├── instruction_profiler.py │ │ │ ├── mutation_pruner.py │ │ │ ├── plugin_annotations.py │ │ │ ├── state_merge │ │ │ │ ├── __init__.py │ │ │ │ ├── check_mergeability.py │ │ │ │ ├── merge_states.py │ │ │ │ └── state_merge_plugin.py │ │ │ ├── summary │ │ │ │ ├── __init__.py │ │ │ │ ├── annotations.py │ │ │ │ ├── core.py │ │ │ │ └── summary.py │ │ │ ├── summary_backup │ │ │ │ └── __init__.py │ │ │ └── trace.py │ │ └── signals.py │ └── smt │ │ ├── __init__.py │ │ ├── array.py │ │ ├── bitvec.py │ │ ├── bitvec_helper.py │ │ ├── bool.py │ │ ├── expression.py │ │ ├── function.py │ │ ├── model.py │ │ └── solver │ │ ├── __init__.py │ │ ├── independence_solver.py │ │ ├── solver.py │ │ └── solver_statistics.py ├── mythril │ ├── __init__.py │ ├── mythril_analyzer.py │ ├── mythril_config.py │ └── mythril_disassembler.py ├── plugin │ ├── __init__.py │ ├── discovery.py │ ├── interface.py │ └── loader.py ├── solidity │ ├── __init__.py │ ├── features.py │ └── soliditycontract.py └── support │ ├── __init__.py │ ├── assets │ └── signatures.db │ ├── loader.py │ ├── lock.py │ ├── model.py │ ├── opcodes.py │ ├── signatures.py │ ├── source_support.py │ ├── start_time.py │ ├── support_args.py │ └── support_utils.py ├── pyproject.toml ├── requirements.txt ├── setup.py ├── solidity_examples ├── BECToken.sol ├── WalletLibrary.sol ├── calls.sol ├── etherstore.sol ├── exceptions.sol ├── hashforether.sol ├── killbilly.sol ├── origin.sol ├── returnvalue.sol ├── rubixi.sol ├── suicide.sol ├── timelock.sol ├── token.sol └── weak_random.sol ├── static ├── Ownable.html ├── assertions.html ├── callgraph7.png ├── callgraph8.png ├── mythril.html ├── mythril_new.png └── sample_report.md ├── tests ├── __init__.py ├── analysis │ ├── abi_decode_test.py │ └── arbitrary_jump_test.py ├── cli_tests │ └── cli_opts_test.py ├── cmd_line_test.py ├── concolic │ └── concolic_tests.py ├── disassembler │ ├── __init__.py │ ├── asm_test.py │ └── disassembly_test.py ├── disassembler_test.py ├── evmcontract_test.py ├── features_test.py ├── graph_test.py ├── instructions │ ├── __init__.py │ ├── basefee_test.py │ ├── codecopy_test.py │ ├── create2_test.py │ ├── create_test.py │ ├── extcodecopy_test.py │ ├── extcodehash_test.py │ ├── push_test.py │ ├── sar_test.py │ ├── shl_test.py │ ├── shr_test.py │ └── static_call_test.py ├── integration_tests │ ├── analysis_tests.py │ ├── coverage_metrics_test.py │ ├── old_version_test.py │ ├── safe_functions_test.py │ ├── solc_settings_test.py │ ├── src_mapping_test.py │ ├── state_merge_tests.py │ ├── summary_test.py │ ├── transient_storage_test.py │ ├── utils.py │ └── version_test.py ├── laser │ ├── Precompiles │ │ ├── blake2_test.py │ │ ├── ec_add_test.py │ │ ├── ecrecover_test.py │ │ ├── elliptic_curves_test.py │ │ ├── elliptic_mul_test.py │ │ ├── identity_test.py │ │ ├── mod_exp_test.py │ │ ├── ripemd_test.py │ │ └── sha256_test.py │ ├── __init__.py │ ├── evm_testsuite │ │ ├── VMTests │ │ │ ├── LICENSE │ │ │ ├── README.md │ │ │ ├── vmArithmeticTest │ │ │ │ ├── add0.json │ │ │ │ ├── add1.json │ │ │ │ ├── add2.json │ │ │ │ ├── add3.json │ │ │ │ ├── add4.json │ │ │ │ ├── addmod0.json │ │ │ │ ├── addmod1.json │ │ │ │ ├── addmod1_overflow2.json │ │ │ │ ├── addmod1_overflow3.json │ │ │ │ ├── addmod1_overflow4.json │ │ │ │ ├── addmod1_overflowDiff.json │ │ │ │ ├── addmod2.json │ │ │ │ ├── addmod2_0.json │ │ │ │ ├── addmod2_1.json │ │ │ │ ├── addmod3.json │ │ │ │ ├── addmod3_0.json │ │ │ │ ├── addmodBigIntCast.json │ │ │ │ ├── addmodDivByZero.json │ │ │ │ ├── addmodDivByZero1.json │ │ │ │ ├── addmodDivByZero2.json │ │ │ │ ├── addmodDivByZero3.json │ │ │ │ ├── arith1.json │ │ │ │ ├── div1.json │ │ │ │ ├── divBoostBug.json │ │ │ │ ├── divByNonZero0.json │ │ │ │ ├── divByNonZero1.json │ │ │ │ ├── divByNonZero2.json │ │ │ │ ├── divByNonZero3.json │ │ │ │ ├── divByZero.json │ │ │ │ ├── divByZero_2.json │ │ │ │ ├── exp0.json │ │ │ │ ├── exp1.json │ │ │ │ ├── exp2.json │ │ │ │ ├── exp3.json │ │ │ │ ├── exp4.json │ │ │ │ ├── exp5.json │ │ │ │ ├── exp6.json │ │ │ │ ├── exp7.json │ │ │ │ ├── exp8.json │ │ │ │ ├── expPowerOf256Of256_0.json │ │ │ │ ├── expPowerOf256Of256_1.json │ │ │ │ ├── expPowerOf256Of256_10.json │ │ │ │ ├── expPowerOf256Of256_11.json │ │ │ │ ├── expPowerOf256Of256_12.json │ │ │ │ ├── expPowerOf256Of256_13.json │ │ │ │ ├── expPowerOf256Of256_14.json │ │ │ │ ├── expPowerOf256Of256_15.json │ │ │ │ ├── expPowerOf256Of256_16.json │ │ │ │ ├── expPowerOf256Of256_17.json │ │ │ │ ├── expPowerOf256Of256_18.json │ │ │ │ ├── expPowerOf256Of256_19.json │ │ │ │ ├── expPowerOf256Of256_2.json │ │ │ │ ├── expPowerOf256Of256_20.json │ │ │ │ ├── expPowerOf256Of256_21.json │ │ │ │ ├── expPowerOf256Of256_22.json │ │ │ │ ├── expPowerOf256Of256_23.json │ │ │ │ ├── expPowerOf256Of256_24.json │ │ │ │ ├── expPowerOf256Of256_25.json │ │ │ │ ├── expPowerOf256Of256_26.json │ │ │ │ ├── expPowerOf256Of256_27.json │ │ │ │ ├── expPowerOf256Of256_28.json │ │ │ │ ├── expPowerOf256Of256_29.json │ │ │ │ ├── expPowerOf256Of256_3.json │ │ │ │ ├── expPowerOf256Of256_30.json │ │ │ │ ├── expPowerOf256Of256_31.json │ │ │ │ ├── expPowerOf256Of256_32.json │ │ │ │ ├── expPowerOf256Of256_33.json │ │ │ │ ├── expPowerOf256Of256_4.json │ │ │ │ ├── expPowerOf256Of256_5.json │ │ │ │ ├── expPowerOf256Of256_6.json │ │ │ │ ├── expPowerOf256Of256_7.json │ │ │ │ ├── expPowerOf256Of256_8.json │ │ │ │ ├── expPowerOf256Of256_9.json │ │ │ │ ├── expPowerOf256_1.json │ │ │ │ ├── expPowerOf256_10.json │ │ │ │ ├── expPowerOf256_11.json │ │ │ │ ├── expPowerOf256_12.json │ │ │ │ ├── expPowerOf256_13.json │ │ │ │ ├── expPowerOf256_14.json │ │ │ │ ├── expPowerOf256_15.json │ │ │ │ ├── expPowerOf256_16.json │ │ │ │ ├── expPowerOf256_17.json │ │ │ │ ├── expPowerOf256_18.json │ │ │ │ ├── expPowerOf256_19.json │ │ │ │ ├── expPowerOf256_2.json │ │ │ │ ├── expPowerOf256_20.json │ │ │ │ ├── expPowerOf256_21.json │ │ │ │ ├── expPowerOf256_22.json │ │ │ │ ├── expPowerOf256_23.json │ │ │ │ ├── expPowerOf256_24.json │ │ │ │ ├── expPowerOf256_25.json │ │ │ │ ├── expPowerOf256_26.json │ │ │ │ ├── expPowerOf256_27.json │ │ │ │ ├── expPowerOf256_28.json │ │ │ │ ├── expPowerOf256_29.json │ │ │ │ ├── expPowerOf256_3.json │ │ │ │ ├── expPowerOf256_30.json │ │ │ │ ├── expPowerOf256_31.json │ │ │ │ ├── expPowerOf256_32.json │ │ │ │ ├── expPowerOf256_33.json │ │ │ │ ├── expPowerOf256_4.json │ │ │ │ ├── expPowerOf256_5.json │ │ │ │ ├── expPowerOf256_6.json │ │ │ │ ├── expPowerOf256_7.json │ │ │ │ ├── expPowerOf256_8.json │ │ │ │ ├── expPowerOf256_9.json │ │ │ │ ├── expPowerOf2_128.json │ │ │ │ ├── expPowerOf2_16.json │ │ │ │ ├── expPowerOf2_2.json │ │ │ │ ├── expPowerOf2_256.json │ │ │ │ ├── expPowerOf2_32.json │ │ │ │ ├── expPowerOf2_4.json │ │ │ │ ├── expPowerOf2_64.json │ │ │ │ ├── expPowerOf2_8.json │ │ │ │ ├── expXY.json │ │ │ │ ├── expXY_success.json │ │ │ │ ├── fibbonacci_unrolled.json │ │ │ │ ├── mod0.json │ │ │ │ ├── mod1.json │ │ │ │ ├── mod2.json │ │ │ │ ├── mod3.json │ │ │ │ ├── mod4.json │ │ │ │ ├── modByZero.json │ │ │ │ ├── mul0.json │ │ │ │ ├── mul1.json │ │ │ │ ├── mul2.json │ │ │ │ ├── mul3.json │ │ │ │ ├── mul4.json │ │ │ │ ├── mul5.json │ │ │ │ ├── mul6.json │ │ │ │ ├── mul7.json │ │ │ │ ├── mulmod0.json │ │ │ │ ├── mulmod1.json │ │ │ │ ├── mulmod1_overflow.json │ │ │ │ ├── mulmod1_overflow2.json │ │ │ │ ├── mulmod1_overflow3.json │ │ │ │ ├── mulmod1_overflow4.json │ │ │ │ ├── mulmod2.json │ │ │ │ ├── mulmod2_0.json │ │ │ │ ├── mulmod2_1.json │ │ │ │ ├── mulmod3.json │ │ │ │ ├── mulmod3_0.json │ │ │ │ ├── mulmod4.json │ │ │ │ ├── mulmoddivByZero.json │ │ │ │ ├── mulmoddivByZero1.json │ │ │ │ ├── mulmoddivByZero2.json │ │ │ │ ├── mulmoddivByZero3.json │ │ │ │ ├── not1.json │ │ │ │ ├── sdiv0.json │ │ │ │ ├── sdiv1.json │ │ │ │ ├── sdiv2.json │ │ │ │ ├── sdiv3.json │ │ │ │ ├── sdiv4.json │ │ │ │ ├── sdiv5.json │ │ │ │ ├── sdiv6.json │ │ │ │ ├── sdiv7.json │ │ │ │ ├── sdiv8.json │ │ │ │ ├── sdiv9.json │ │ │ │ ├── sdivByZero0.json │ │ │ │ ├── sdivByZero1.json │ │ │ │ ├── sdivByZero2.json │ │ │ │ ├── sdiv_dejavu.json │ │ │ │ ├── sdiv_i256min.json │ │ │ │ ├── sdiv_i256min2.json │ │ │ │ ├── sdiv_i256min3.json │ │ │ │ ├── signextendInvalidByteNumber.json │ │ │ │ ├── signextend_00.json │ │ │ │ ├── signextend_0_BigByte.json │ │ │ │ ├── signextend_AlmostBiggestByte.json │ │ │ │ ├── signextend_BigByteBigByte.json │ │ │ │ ├── signextend_BigBytePlus1_2.json │ │ │ │ ├── signextend_BigByte_0.json │ │ │ │ ├── signextend_BitIsNotSet.json │ │ │ │ ├── signextend_BitIsNotSetInHigherByte.json │ │ │ │ ├── signextend_BitIsSetInHigherByte.json │ │ │ │ ├── signextend_Overflow_dj42.json │ │ │ │ ├── signextend_bigBytePlus1.json │ │ │ │ ├── signextend_bitIsSet.json │ │ │ │ ├── smod0.json │ │ │ │ ├── smod1.json │ │ │ │ ├── smod2.json │ │ │ │ ├── smod3.json │ │ │ │ ├── smod4.json │ │ │ │ ├── smod5.json │ │ │ │ ├── smod6.json │ │ │ │ ├── smod7.json │ │ │ │ ├── smod8_byZero.json │ │ │ │ ├── smod_i256min1.json │ │ │ │ ├── smod_i256min2.json │ │ │ │ ├── stop.json │ │ │ │ ├── sub0.json │ │ │ │ ├── sub1.json │ │ │ │ ├── sub2.json │ │ │ │ ├── sub3.json │ │ │ │ └── sub4.json │ │ │ ├── vmBitwiseLogicOperation │ │ │ │ ├── and0.json │ │ │ │ ├── and1.json │ │ │ │ ├── and2.json │ │ │ │ ├── and3.json │ │ │ │ ├── and4.json │ │ │ │ ├── and5.json │ │ │ │ ├── byte0.json │ │ │ │ ├── byte1.json │ │ │ │ ├── byte10.json │ │ │ │ ├── byte11.json │ │ │ │ ├── byte2.json │ │ │ │ ├── byte3.json │ │ │ │ ├── byte4.json │ │ │ │ ├── byte5.json │ │ │ │ ├── byte6.json │ │ │ │ ├── byte7.json │ │ │ │ ├── byte8.json │ │ │ │ ├── byte9.json │ │ │ │ ├── eq0.json │ │ │ │ ├── eq1.json │ │ │ │ ├── eq2.json │ │ │ │ ├── gt0.json │ │ │ │ ├── gt1.json │ │ │ │ ├── gt2.json │ │ │ │ ├── gt3.json │ │ │ │ ├── iszeo2.json │ │ │ │ ├── iszero0.json │ │ │ │ ├── iszero1.json │ │ │ │ ├── lt0.json │ │ │ │ ├── lt1.json │ │ │ │ ├── lt2.json │ │ │ │ ├── lt3.json │ │ │ │ ├── not0.json │ │ │ │ ├── not1.json │ │ │ │ ├── not2.json │ │ │ │ ├── not3.json │ │ │ │ ├── not4.json │ │ │ │ ├── not5.json │ │ │ │ ├── or0.json │ │ │ │ ├── or1.json │ │ │ │ ├── or2.json │ │ │ │ ├── or3.json │ │ │ │ ├── or4.json │ │ │ │ ├── or5.json │ │ │ │ ├── sgt0.json │ │ │ │ ├── sgt1.json │ │ │ │ ├── sgt2.json │ │ │ │ ├── sgt3.json │ │ │ │ ├── sgt4.json │ │ │ │ ├── slt0.json │ │ │ │ ├── slt1.json │ │ │ │ ├── slt2.json │ │ │ │ ├── slt3.json │ │ │ │ ├── slt4.json │ │ │ │ ├── xor0.json │ │ │ │ ├── xor1.json │ │ │ │ ├── xor2.json │ │ │ │ ├── xor3.json │ │ │ │ ├── xor4.json │ │ │ │ └── xor5.json │ │ │ ├── vmEnvironmentalInfo │ │ │ │ ├── address0.json │ │ │ │ ├── address1.json │ │ │ │ ├── calldatacopy0.json │ │ │ │ ├── calldatacopy0_return.json │ │ │ │ ├── calldatacopy1.json │ │ │ │ ├── calldatacopy1_return.json │ │ │ │ ├── calldatacopy2.json │ │ │ │ ├── calldatacopy2_return.json │ │ │ │ ├── calldatacopyUnderFlowerror.json │ │ │ │ ├── calldatacopyZeroMemExpansion.json │ │ │ │ ├── calldatacopyZeroMemExpansion_return.json │ │ │ │ ├── calldatacopy_DataIndexTooHigh.json │ │ │ │ ├── calldatacopy_DataIndexTooHigh2.json │ │ │ │ ├── calldatacopy_DataIndexTooHigh2_return.json │ │ │ │ ├── calldatacopy_DataIndexTooHigh_return.json │ │ │ │ ├── calldatacopy_sec.json │ │ │ │ ├── calldataload0.json │ │ │ │ ├── calldataload1.json │ │ │ │ ├── calldataload2.json │ │ │ │ ├── calldataloadSizeTooHigh.json │ │ │ │ ├── calldataloadSizeTooHighPartial.json │ │ │ │ ├── calldataload_BigOffset.json │ │ │ │ ├── calldatasize0.json │ │ │ │ ├── calldatasize1.json │ │ │ │ ├── calldatasize2.json │ │ │ │ ├── caller.json │ │ │ │ ├── callvalue.json │ │ │ │ ├── codecopy0.json │ │ │ │ ├── codecopyZeroMemExpansion.json │ │ │ │ ├── codecopy_DataIndexTooHigh.json │ │ │ │ ├── codesize.json │ │ │ │ ├── gasprice.json │ │ │ │ └── origin.json │ │ │ ├── vmIOandFlowOperations │ │ │ │ ├── BlockNumberDynamicJump0_AfterJumpdest.json │ │ │ │ ├── BlockNumberDynamicJump0_AfterJumpdest3.json │ │ │ │ ├── BlockNumberDynamicJump0_foreverOutOfGas.json │ │ │ │ ├── BlockNumberDynamicJump0_jumpdest0.json │ │ │ │ ├── BlockNumberDynamicJump0_jumpdest2.json │ │ │ │ ├── BlockNumberDynamicJump0_withoutJumpdest.json │ │ │ │ ├── BlockNumberDynamicJump1.json │ │ │ │ ├── BlockNumberDynamicJumpInsidePushWithJumpDest.json │ │ │ │ ├── BlockNumberDynamicJumpInsidePushWithoutJumpDest.json │ │ │ │ ├── BlockNumberDynamicJumpi0.json │ │ │ │ ├── BlockNumberDynamicJumpi1.json │ │ │ │ ├── BlockNumberDynamicJumpi1_jumpdest.json │ │ │ │ ├── BlockNumberDynamicJumpiAfterStop.json │ │ │ │ ├── BlockNumberDynamicJumpiOutsideBoundary.json │ │ │ │ ├── BlockNumberDynamicJumpifInsidePushWithJumpDest.json │ │ │ │ ├── BlockNumberDynamicJumpifInsidePushWithoutJumpDest.json │ │ │ │ ├── DyanmicJump0_outOfBoundary.json │ │ │ │ ├── DynamicJump0_AfterJumpdest.json │ │ │ │ ├── DynamicJump0_AfterJumpdest3.json │ │ │ │ ├── DynamicJump0_foreverOutOfGas.json │ │ │ │ ├── DynamicJump0_jumpdest0.json │ │ │ │ ├── DynamicJump0_jumpdest2.json │ │ │ │ ├── DynamicJump0_withoutJumpdest.json │ │ │ │ ├── DynamicJump1.json │ │ │ │ ├── DynamicJumpAfterStop.json │ │ │ │ ├── DynamicJumpInsidePushWithJumpDest.json │ │ │ │ ├── DynamicJumpInsidePushWithoutJumpDest.json │ │ │ │ ├── DynamicJumpJD_DependsOnJumps0.json │ │ │ │ ├── DynamicJumpJD_DependsOnJumps1.json │ │ │ │ ├── DynamicJumpPathologicalTest0.json │ │ │ │ ├── DynamicJumpPathologicalTest1.json │ │ │ │ ├── DynamicJumpPathologicalTest2.json │ │ │ │ ├── DynamicJumpPathologicalTest3.json │ │ │ │ ├── DynamicJumpStartWithJumpDest.json │ │ │ │ ├── DynamicJump_value1.json │ │ │ │ ├── DynamicJump_value2.json │ │ │ │ ├── DynamicJump_value3.json │ │ │ │ ├── DynamicJump_valueUnderflow.json │ │ │ │ ├── DynamicJumpi0.json │ │ │ │ ├── DynamicJumpi1.json │ │ │ │ ├── DynamicJumpi1_jumpdest.json │ │ │ │ ├── DynamicJumpiAfterStop.json │ │ │ │ ├── DynamicJumpiOutsideBoundary.json │ │ │ │ ├── DynamicJumpifInsidePushWithJumpDest.json │ │ │ │ ├── DynamicJumpifInsidePushWithoutJumpDest.json │ │ │ │ ├── JDfromStorageDynamicJump0_AfterJumpdest.json │ │ │ │ ├── JDfromStorageDynamicJump0_AfterJumpdest3.json │ │ │ │ ├── JDfromStorageDynamicJump0_foreverOutOfGas.json │ │ │ │ ├── JDfromStorageDynamicJump0_jumpdest0.json │ │ │ │ ├── JDfromStorageDynamicJump0_jumpdest2.json │ │ │ │ ├── JDfromStorageDynamicJump0_withoutJumpdest.json │ │ │ │ ├── JDfromStorageDynamicJump1.json │ │ │ │ ├── JDfromStorageDynamicJumpInsidePushWithJumpDest.json │ │ │ │ ├── JDfromStorageDynamicJumpInsidePushWithoutJumpDest.json │ │ │ │ ├── JDfromStorageDynamicJumpi0.json │ │ │ │ ├── JDfromStorageDynamicJumpi1.json │ │ │ │ ├── JDfromStorageDynamicJumpi1_jumpdest.json │ │ │ │ ├── JDfromStorageDynamicJumpiAfterStop.json │ │ │ │ ├── JDfromStorageDynamicJumpiOutsideBoundary.json │ │ │ │ ├── JDfromStorageDynamicJumpifInsidePushWithJumpDest.json │ │ │ │ ├── JDfromStorageDynamicJumpifInsidePushWithoutJumpDest.json │ │ │ │ ├── bad_indirect_jump1.json │ │ │ │ ├── bad_indirect_jump2.json │ │ │ │ ├── byte1.json │ │ │ │ ├── calldatacopyMemExp.json │ │ │ │ ├── codecopyMemExp.json │ │ │ │ ├── deadCode_1.json │ │ │ │ ├── dupAt51becameMload.json │ │ │ │ ├── for_loop1.json │ │ │ │ ├── for_loop2.json │ │ │ │ ├── gas0.json │ │ │ │ ├── gas1.json │ │ │ │ ├── gasOverFlow.json │ │ │ │ ├── indirect_jump1.json │ │ │ │ ├── indirect_jump2.json │ │ │ │ ├── indirect_jump3.json │ │ │ │ ├── indirect_jump4.json │ │ │ │ ├── jump0_AfterJumpdest.json │ │ │ │ ├── jump0_AfterJumpdest3.json │ │ │ │ ├── jump0_foreverOutOfGas.json │ │ │ │ ├── jump0_jumpdest0.json │ │ │ │ ├── jump0_jumpdest2.json │ │ │ │ ├── jump0_outOfBoundary.json │ │ │ │ ├── jump0_withoutJumpdest.json │ │ │ │ ├── jump1.json │ │ │ │ ├── jumpAfterStop.json │ │ │ │ ├── jumpDynamicJumpSameDest.json │ │ │ │ ├── jumpHigh.json │ │ │ │ ├── jumpInsidePushWithJumpDest.json │ │ │ │ ├── jumpInsidePushWithoutJumpDest.json │ │ │ │ ├── jumpOntoJump.json │ │ │ │ ├── jumpTo1InstructionafterJump.json │ │ │ │ ├── jumpTo1InstructionafterJump_jumpdestFirstInstruction.json │ │ │ │ ├── jumpTo1InstructionafterJump_noJumpDest.json │ │ │ │ ├── jumpToUint64maxPlus1.json │ │ │ │ ├── jumpToUintmaxPlus1.json │ │ │ │ ├── jumpdestBigList.json │ │ │ │ ├── jumpi0.json │ │ │ │ ├── jumpi1.json │ │ │ │ ├── jumpi1_jumpdest.json │ │ │ │ ├── jumpiAfterStop.json │ │ │ │ ├── jumpiOutsideBoundary.json │ │ │ │ ├── jumpiToUint64maxPlus1.json │ │ │ │ ├── jumpiToUintmaxPlus1.json │ │ │ │ ├── jumpi_at_the_end.json │ │ │ │ ├── jumpifInsidePushWithJumpDest.json │ │ │ │ ├── jumpifInsidePushWithoutJumpDest.json │ │ │ │ ├── kv1.json │ │ │ │ ├── log1MemExp.json │ │ │ │ ├── loop_stacklimit_1020.json │ │ │ │ ├── loop_stacklimit_1021.json │ │ │ │ ├── memory1.json │ │ │ │ ├── mloadError0.json │ │ │ │ ├── mloadError1.json │ │ │ │ ├── mloadMemExp.json │ │ │ │ ├── mloadOutOfGasError2.json │ │ │ │ ├── msize0.json │ │ │ │ ├── msize1.json │ │ │ │ ├── msize2.json │ │ │ │ ├── msize3.json │ │ │ │ ├── mstore0.json │ │ │ │ ├── mstore1.json │ │ │ │ ├── mstore8MemExp.json │ │ │ │ ├── mstore8WordToBigError.json │ │ │ │ ├── mstore8_0.json │ │ │ │ ├── mstore8_1.json │ │ │ │ ├── mstoreMemExp.json │ │ │ │ ├── mstoreWordToBigError.json │ │ │ │ ├── mstore_mload0.json │ │ │ │ ├── pc0.json │ │ │ │ ├── pc1.json │ │ │ │ ├── pop0.json │ │ │ │ ├── pop1.json │ │ │ │ ├── return1.json │ │ │ │ ├── return2.json │ │ │ │ ├── sha3MemExp.json │ │ │ │ ├── sstore_load_0.json │ │ │ │ ├── sstore_load_1.json │ │ │ │ ├── sstore_load_2.json │ │ │ │ ├── sstore_underflow.json │ │ │ │ ├── stack_loop.json │ │ │ │ ├── stackjump1.json │ │ │ │ ├── swapAt52becameMstore.json │ │ │ │ └── when.json │ │ │ ├── vmPushDupSwapTest │ │ │ │ ├── dup1.json │ │ │ │ ├── dup10.json │ │ │ │ ├── dup11.json │ │ │ │ ├── dup12.json │ │ │ │ ├── dup13.json │ │ │ │ ├── dup14.json │ │ │ │ ├── dup15.json │ │ │ │ ├── dup16.json │ │ │ │ ├── dup2.json │ │ │ │ ├── dup2error.json │ │ │ │ ├── dup3.json │ │ │ │ ├── dup4.json │ │ │ │ ├── dup5.json │ │ │ │ ├── dup6.json │ │ │ │ ├── dup7.json │ │ │ │ ├── dup8.json │ │ │ │ ├── dup9.json │ │ │ │ ├── push1.json │ │ │ │ ├── push10.json │ │ │ │ ├── push11.json │ │ │ │ ├── push12.json │ │ │ │ ├── push13.json │ │ │ │ ├── push14.json │ │ │ │ ├── push15.json │ │ │ │ ├── push16.json │ │ │ │ ├── push17.json │ │ │ │ ├── push18.json │ │ │ │ ├── push19.json │ │ │ │ ├── push1_missingStack.json │ │ │ │ ├── push2.json │ │ │ │ ├── push20.json │ │ │ │ ├── push21.json │ │ │ │ ├── push22.json │ │ │ │ ├── push23.json │ │ │ │ ├── push24.json │ │ │ │ ├── push25.json │ │ │ │ ├── push26.json │ │ │ │ ├── push27.json │ │ │ │ ├── push28.json │ │ │ │ ├── push29.json │ │ │ │ ├── push3.json │ │ │ │ ├── push30.json │ │ │ │ ├── push31.json │ │ │ │ ├── push32.json │ │ │ │ ├── push32AndSuicide.json │ │ │ │ ├── push32FillUpInputWithZerosAtTheEnd.json │ │ │ │ ├── push32Undefined.json │ │ │ │ ├── push32Undefined2.json │ │ │ │ ├── push32Undefined3.json │ │ │ │ ├── push33.json │ │ │ │ ├── push4.json │ │ │ │ ├── push5.json │ │ │ │ ├── push6.json │ │ │ │ ├── push7.json │ │ │ │ ├── push8.json │ │ │ │ ├── push9.json │ │ │ │ ├── swap1.json │ │ │ │ ├── swap10.json │ │ │ │ ├── swap11.json │ │ │ │ ├── swap12.json │ │ │ │ ├── swap13.json │ │ │ │ ├── swap14.json │ │ │ │ ├── swap15.json │ │ │ │ ├── swap16.json │ │ │ │ ├── swap2.json │ │ │ │ ├── swap2error.json │ │ │ │ ├── swap3.json │ │ │ │ ├── swap4.json │ │ │ │ ├── swap5.json │ │ │ │ ├── swap6.json │ │ │ │ ├── swap7.json │ │ │ │ ├── swap8.json │ │ │ │ ├── swap9.json │ │ │ │ └── swapjump1.json │ │ │ ├── vmRandomTest │ │ │ │ ├── 201503102320PYTHON.json │ │ │ │ ├── 201503110206PYTHON.json │ │ │ │ ├── 201503110219PYTHON.json │ │ │ │ ├── 201503110346PYTHON_PUSH24.json │ │ │ │ ├── 201503111844PYTHON.json │ │ │ │ └── 201503112218PYTHON.json │ │ │ ├── vmSha3Test │ │ │ │ ├── sha3_0.json │ │ │ │ ├── sha3_1.json │ │ │ │ ├── sha3_2.json │ │ │ │ ├── sha3_3oog.json │ │ │ │ ├── sha3_4oog.json │ │ │ │ ├── sha3_5oog.json │ │ │ │ ├── sha3_6oog.json │ │ │ │ ├── sha3_bigOffset2.json │ │ │ │ ├── sha3_bigOffsetoog.json │ │ │ │ ├── sha3_bigSizeoog.json │ │ │ │ ├── sha3_memSizeNoQuadraticCost31.json │ │ │ │ ├── sha3_memSizeQuadraticCost32.json │ │ │ │ ├── sha3_memSizeQuadraticCost32_zeroSize.json │ │ │ │ ├── sha3_memSizeQuadraticCost33.json │ │ │ │ ├── sha3_memSizeQuadraticCost63.json │ │ │ │ ├── sha3_memSizeQuadraticCost64.json │ │ │ │ ├── sha3_memSizeQuadraticCost64_2.json │ │ │ │ └── sha3_memSizeQuadraticCost65.json │ │ │ ├── vmSystemOperations │ │ │ │ ├── TestNameRegistrator.json │ │ │ │ ├── return0.json │ │ │ │ ├── return1.json │ │ │ │ ├── return2.json │ │ │ │ ├── suicide0.json │ │ │ │ ├── suicideNotExistingAccount.json │ │ │ │ └── suicideSendEtherToMe.json │ │ │ └── vmTests │ │ │ │ └── suicide.json │ │ └── evm_test.py │ ├── keccak_tests.py │ ├── smt │ │ ├── __init__.py │ │ ├── independece_solver_test.py │ │ └── model_test.py │ ├── state │ │ ├── __init__.py │ │ ├── calldata_test.py │ │ ├── mstack_test.py │ │ ├── mstate_test.py │ │ ├── storage_test.py │ │ └── world_state_account_exist_load_test.py │ ├── strategy │ │ ├── beam_test.py │ │ └── loop_bound_test.py │ ├── transaction │ │ ├── __init__.py │ │ ├── create_transaction_test.py │ │ └── symbolic_test.py │ ├── transaction_test.py │ └── tx_prioritisation_test.py ├── mythril │ ├── mythril_analyzer_test.py │ ├── mythril_config_test.py │ └── mythril_disassembler_test.py ├── plugin │ ├── interface_test.py │ └── loader_test.py ├── pre-commit-hooks │ ├── Counter.sol │ └── test.sh ├── rpc_test.py ├── solidity_contract_test.py ├── statespace_test.py ├── testdata │ ├── __init__.py │ ├── compile.py │ ├── concolic_io │ │ ├── multi_contract_example.sol │ │ ├── multi_contract_example_input.json │ │ ├── multiple_example.sol │ │ ├── multiple_example_input.json │ │ ├── simple_example.sol │ │ ├── simple_example_input.json │ │ ├── two_contract.sol │ │ └── two_contract_input.json │ ├── input_contracts │ │ ├── SecureVault.sol │ │ ├── SimpleModifier.sol │ │ ├── WalletLibrary.sol │ │ ├── base_case.sol │ │ ├── calls.sol │ │ ├── complex.sol │ │ ├── constructor_assert.sol │ │ ├── destruct.sol │ │ ├── destruct_crlf.sol │ │ ├── environments.sol │ │ ├── ether_send.sol │ │ ├── exceptions.sol │ │ ├── exceptions_0.8.0.sol │ │ ├── extcall.sol │ │ ├── flag_array.sol │ │ ├── hash_test.sol │ │ ├── integer_edge_case.sol │ │ ├── kcalls.sol │ │ ├── large.sol │ │ ├── metacoin.sol │ │ ├── multi_contracts.sol │ │ ├── nonascii.sol │ │ ├── old_origin.sol │ │ ├── old_version.sol │ │ ├── origin.sol │ │ ├── overflow.sol │ │ ├── regression_1.sol │ │ ├── requirements_violation_neg.sol │ │ ├── requirements_violation_pos.sol │ │ ├── returnvalue.sol │ │ ├── rubixi.sol │ │ ├── safe_funcs.sol │ │ ├── simple_theft.sol │ │ ├── suicide.sol │ │ ├── symbolic_exec_bytecode.sol │ │ ├── theft.sol │ │ ├── transient.sol │ │ ├── transient_bug.sol │ │ ├── transient_bug_2.sol │ │ ├── transient_recursive.sol │ │ ├── tx.sol │ │ ├── underflow.sol │ │ ├── unexpected_ether_neg.sol │ │ ├── unexpected_ether_pos.sol │ │ ├── version_2.sol │ │ ├── version_3.sol │ │ ├── version_4.sol │ │ ├── version_chaos.sol │ │ ├── version_contract.sol │ │ ├── version_contract_0.7.0.sol │ │ ├── version_contract_0.8.0.sol │ │ ├── version_patch.sol │ │ └── weak_random.sol │ ├── inputs │ │ ├── calls.sol.o │ │ ├── coverage.sol.o │ │ ├── environments.sol.o │ │ ├── ether_send.sol.o │ │ ├── exceptions.sol.o │ │ ├── exceptions_0.8.0.sol.o │ │ ├── extcall.sol.o │ │ ├── flag_array.sol.o │ │ ├── kinds_of_calls.sol.o │ │ ├── metacoin.sol.o │ │ ├── multi_contracts.sol.o │ │ ├── nonascii.sol.o │ │ ├── origin.sol.o │ │ ├── overflow.sol.o │ │ ├── returnvalue.sol.o │ │ ├── safe_funcs.sol.o │ │ ├── suicide.sol.o │ │ ├── symbolic_exec_bytecode.sol.o │ │ └── underflow.sol.o │ ├── json_test_dir │ │ ├── PRC20.sol │ │ ├── dir_a │ │ │ ├── input_file.sol │ │ │ └── input_file_args.sol │ │ ├── test_file.json │ │ └── test_file_disable.json │ ├── mythril_config_inputs │ │ └── config.ini │ └── outputs_expected │ │ ├── calls.sol.o.easm │ │ ├── calls.sol.o.graph.html │ │ ├── environments.sol.o.easm │ │ ├── environments.sol.o.graph.html │ │ ├── ether_send.sol.o.easm │ │ ├── ether_send.sol.o.graph.html │ │ ├── exceptions.sol.o.easm │ │ ├── exceptions.sol.o.graph.html │ │ ├── kinds_of_calls.sol.o.easm │ │ ├── kinds_of_calls.sol.o.graph.html │ │ ├── metacoin.sol.o.easm │ │ ├── metacoin.sol.o.graph.html │ │ ├── multi_contracts.sol.o.easm │ │ ├── multi_contracts.sol.o.graph.html │ │ ├── nonascii.sol.o.easm │ │ ├── nonascii.sol.o.graph.html │ │ ├── origin.sol.o.easm │ │ ├── origin.sol.o.graph.html │ │ ├── overflow.sol.o.easm │ │ ├── overflow.sol.o.graph.html │ │ ├── returnvalue.sol.o.easm │ │ ├── returnvalue.sol.o.graph.html │ │ ├── suicide.sol.o.easm │ │ ├── suicide.sol.o.graph.html │ │ ├── underflow.sol.o.easm │ │ └── underflow.sol.o.graph.html ├── teststorage │ ├── contractstorage.fs │ ├── contractstorage.fs.index │ └── contractstorage.fs.tmp └── util_tests.py └── tox.ini /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.dockerignore -------------------------------------------------------------------------------- /.drone.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.drone.yml -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/analysis-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/ISSUE_TEMPLATE/analysis-module.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/ISSUE_TEMPLATE/bug-report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/ISSUE_TEMPLATE/feature-request.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/container.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/workflows/container.yml -------------------------------------------------------------------------------- /.github/workflows/pre-commit-hooks-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/workflows/pre-commit-hooks-test.yml -------------------------------------------------------------------------------- /.github/workflows/pre-commit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.github/workflows/pre-commit.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.pre-commit-hooks.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/.pre-commit-hooks.yaml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/README.md -------------------------------------------------------------------------------- /all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/all_tests.sh -------------------------------------------------------------------------------- /coverage_report.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/coverage_report.sh -------------------------------------------------------------------------------- /docker-bake.hcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docker-bake.hcl -------------------------------------------------------------------------------- /docker/docker-entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docker/docker-entrypoint.sh -------------------------------------------------------------------------------- /docker/sync-svm-solc-versions-with-solcx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docker/sync-svm-solc-versions-with-solcx.sh -------------------------------------------------------------------------------- /docker_build_and_deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docker_build_and_deploy.sh -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/source/about.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/about.rst -------------------------------------------------------------------------------- /docs/source/analysis-modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/analysis-modules.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/create-module.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/create-module.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/installation.rst -------------------------------------------------------------------------------- /docs/source/module-list.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/module-list.rst -------------------------------------------------------------------------------- /docs/source/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/modules.rst -------------------------------------------------------------------------------- /docs/source/mythril.analysis.module.modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.analysis.module.modules.rst -------------------------------------------------------------------------------- /docs/source/mythril.analysis.module.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.analysis.module.rst -------------------------------------------------------------------------------- /docs/source/mythril.analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.analysis.rst -------------------------------------------------------------------------------- /docs/source/mythril.concolic.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.concolic.rst -------------------------------------------------------------------------------- /docs/source/mythril.disassembler.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.disassembler.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.interface.rpc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.ethereum.interface.rpc.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.interface.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.ethereum.interface.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.ethereum.rst -------------------------------------------------------------------------------- /docs/source/mythril.interfaces.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.interfaces.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.function_managers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.function_managers.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.state.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.state.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.strategy.extensions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.strategy.extensions.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.strategy.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.strategy.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.transaction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.ethereum.transaction.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.plugin.plugins.coverage.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.plugin.plugins.coverage.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.plugin.plugins.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.plugin.plugins.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.plugin.plugins.summary_backup.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.plugin.plugins.summary_backup.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.plugin.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.plugin.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.smt.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.smt.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.smt.solver.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.laser.smt.solver.rst -------------------------------------------------------------------------------- /docs/source/mythril.mythril.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.mythril.rst -------------------------------------------------------------------------------- /docs/source/mythril.plugin.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.plugin.rst -------------------------------------------------------------------------------- /docs/source/mythril.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.rst -------------------------------------------------------------------------------- /docs/source/mythril.solidity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.solidity.rst -------------------------------------------------------------------------------- /docs/source/mythril.support.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/mythril.support.rst -------------------------------------------------------------------------------- /docs/source/security-analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/security-analysis.rst -------------------------------------------------------------------------------- /docs/source/tutorial.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/docs/source/tutorial.rst -------------------------------------------------------------------------------- /mypy-stubs/z3/__init__.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mypy-stubs/z3/__init__.pyi -------------------------------------------------------------------------------- /mypy-stubs/z3/z3core.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mypy-stubs/z3/z3core.pyi -------------------------------------------------------------------------------- /mypy-stubs/z3/z3types.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mypy-stubs/z3/z3types.pyi -------------------------------------------------------------------------------- /myth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/myth -------------------------------------------------------------------------------- /mythril/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/__init__.py -------------------------------------------------------------------------------- /mythril/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/__main__.py -------------------------------------------------------------------------------- /mythril/__version__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/__version__.py -------------------------------------------------------------------------------- /mythril/analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/analysis/analysis_args.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/analysis/call_helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/call_helpers.py -------------------------------------------------------------------------------- /mythril/analysis/callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/callgraph.py -------------------------------------------------------------------------------- /mythril/analysis/issue_annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/issue_annotation.py -------------------------------------------------------------------------------- /mythril/analysis/module/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/__init__.py -------------------------------------------------------------------------------- /mythril/analysis/module/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/base.py -------------------------------------------------------------------------------- /mythril/analysis/module/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/loader.py -------------------------------------------------------------------------------- /mythril/analysis/module/module_helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/module_helpers.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/__init__.py: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /mythril/analysis/module/modules/arbitrary_jump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/arbitrary_jump.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/arbitrary_write.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/arbitrary_write.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/delegatecall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/delegatecall.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/dependence_on_origin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/dependence_on_origin.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/dependence_on_predictable_vars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/dependence_on_predictable_vars.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/ether_thief.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/ether_thief.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/exceptions.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/external_calls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/external_calls.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/integer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/integer.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/multiple_sends.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/multiple_sends.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/requirements_violation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/requirements_violation.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/state_change_external_calls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/state_change_external_calls.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/suicide.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/suicide.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/transaction_order_dependence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/transaction_order_dependence.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/unchecked_retval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/unchecked_retval.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/unexpected_ether.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/unexpected_ether.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/user_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/modules/user_assertions.py -------------------------------------------------------------------------------- /mythril/analysis/module/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/module/util.py -------------------------------------------------------------------------------- /mythril/analysis/ops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/ops.py -------------------------------------------------------------------------------- /mythril/analysis/potential_issues.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/potential_issues.py -------------------------------------------------------------------------------- /mythril/analysis/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/report.py -------------------------------------------------------------------------------- /mythril/analysis/security.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/security.py -------------------------------------------------------------------------------- /mythril/analysis/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/solver.py -------------------------------------------------------------------------------- /mythril/analysis/swc_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/swc_data.py -------------------------------------------------------------------------------- /mythril/analysis/symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/symbolic.py -------------------------------------------------------------------------------- /mythril/analysis/templates/callgraph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/templates/callgraph.html -------------------------------------------------------------------------------- /mythril/analysis/templates/report_as_markdown.jinja2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/templates/report_as_markdown.jinja2 -------------------------------------------------------------------------------- /mythril/analysis/templates/report_as_text.jinja2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/templates/report_as_text.jinja2 -------------------------------------------------------------------------------- /mythril/analysis/traceexplore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/analysis/traceexplore.py -------------------------------------------------------------------------------- /mythril/concolic/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/concolic/__init__.py -------------------------------------------------------------------------------- /mythril/concolic/concolic_execution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/concolic/concolic_execution.py -------------------------------------------------------------------------------- /mythril/concolic/concrete_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/concolic/concrete_data.py -------------------------------------------------------------------------------- /mythril/concolic/find_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/concolic/find_trace.py -------------------------------------------------------------------------------- /mythril/config.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/config.ini -------------------------------------------------------------------------------- /mythril/disassembler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/disassembler/asm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/disassembler/asm.py -------------------------------------------------------------------------------- /mythril/disassembler/disassembly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/disassembler/disassembly.py -------------------------------------------------------------------------------- /mythril/ethereum/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/ethereum/evmcontract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/evmcontract.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/base_client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/interface/rpc/base_client.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/interface/rpc/client.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/interface/rpc/constants.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/interface/rpc/exceptions.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/interface/rpc/utils.py -------------------------------------------------------------------------------- /mythril/ethereum/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/ethereum/util.py -------------------------------------------------------------------------------- /mythril/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/exceptions.py -------------------------------------------------------------------------------- /mythril/interfaces/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/interfaces/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/interfaces/cli.py -------------------------------------------------------------------------------- /mythril/interfaces/epic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/interfaces/epic.py -------------------------------------------------------------------------------- /mythril/laser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/ethereum/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/ethereum/call.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/call.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/cfg.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/cheat_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/cheat_code.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/evm_exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/evm_exceptions.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/function_managers/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/exponent_function_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/function_managers/exponent_function_manager.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/keccak_function_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/function_managers/keccak_function_manager.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/instruction_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/instruction_data.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/instructions.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/natives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/natives.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/__init__.py: -------------------------------------------------------------------------------- 1 | # Hello! 2 | -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/account.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/account.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/annotation.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/calldata.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/calldata.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/constraints.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/environment.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/global_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/global_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/machine_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/machine_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/memory.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/return_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/return_data.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/transient_storage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/transient_storage.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/world_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/state/world_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/basic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/beam.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/beam.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/concolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/concolic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/constraint_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/constraint_strategy.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/extensions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/extensions/bounded_loops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/svm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/svm.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/time_handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/time_handler.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/transaction/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/concolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/transaction/concolic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/transaction/symbolic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/transaction_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/transaction/transaction_models.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/tx_prioritiser/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/tx_prioritiser/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/tx_prioritiser/rf_prioritiser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/tx_prioritiser/rf_prioritiser.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/ethereum/util.py -------------------------------------------------------------------------------- /mythril/laser/execution_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/execution_info.py -------------------------------------------------------------------------------- /mythril/laser/plugin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/builder.py -------------------------------------------------------------------------------- /mythril/laser/plugin/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/interface.py -------------------------------------------------------------------------------- /mythril/laser/plugin/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/loader.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/benchmark.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/call_depth_limiter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/call_depth_limiter.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/coverage_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/coverage_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage_metrics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage_metrics/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage_metrics/constants.py: -------------------------------------------------------------------------------- 1 | BATCH_OF_STATES = 5 2 | -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage_metrics/coverage_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage_metrics/coverage_data.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage_metrics/metrics_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/coverage_metrics/metrics_plugin.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/dependency_pruner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/dependency_pruner.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/instruction_profiler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/instruction_profiler.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/mutation_pruner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/mutation_pruner.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/plugin_annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/plugin_annotations.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/state_merge/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/state_merge/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/state_merge/check_mergeability.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/state_merge/check_mergeability.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/state_merge/merge_states.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/state_merge/merge_states.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/state_merge/state_merge_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/state_merge/state_merge_plugin.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary/__init__.py: -------------------------------------------------------------------------------- 1 | from .core import SymbolicSummaryPluginBuilder 2 | -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary/annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/summary/annotations.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary/core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/summary/core.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary/summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/summary/summary.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary_backup/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/plugins/trace.py -------------------------------------------------------------------------------- /mythril/laser/plugin/signals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/plugin/signals.py -------------------------------------------------------------------------------- /mythril/laser/smt/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/__init__.py -------------------------------------------------------------------------------- /mythril/laser/smt/array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/array.py -------------------------------------------------------------------------------- /mythril/laser/smt/bitvec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/bitvec.py -------------------------------------------------------------------------------- /mythril/laser/smt/bitvec_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/bitvec_helper.py -------------------------------------------------------------------------------- /mythril/laser/smt/bool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/bool.py -------------------------------------------------------------------------------- /mythril/laser/smt/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/expression.py -------------------------------------------------------------------------------- /mythril/laser/smt/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/function.py -------------------------------------------------------------------------------- /mythril/laser/smt/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/model.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/solver/__init__.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/independence_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/solver/independence_solver.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/solver/solver.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/solver_statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/laser/smt/solver/solver_statistics.py -------------------------------------------------------------------------------- /mythril/mythril/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/mythril/__init__.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/mythril/mythril_analyzer.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/mythril/mythril_config.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/mythril/mythril_disassembler.py -------------------------------------------------------------------------------- /mythril/plugin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/plugin/__init__.py -------------------------------------------------------------------------------- /mythril/plugin/discovery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/plugin/discovery.py -------------------------------------------------------------------------------- /mythril/plugin/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/plugin/interface.py -------------------------------------------------------------------------------- /mythril/plugin/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/plugin/loader.py -------------------------------------------------------------------------------- /mythril/solidity/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/solidity/features.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/solidity/features.py -------------------------------------------------------------------------------- /mythril/solidity/soliditycontract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/solidity/soliditycontract.py -------------------------------------------------------------------------------- /mythril/support/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/support/assets/signatures.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/assets/signatures.db -------------------------------------------------------------------------------- /mythril/support/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/loader.py -------------------------------------------------------------------------------- /mythril/support/lock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/lock.py -------------------------------------------------------------------------------- /mythril/support/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/model.py -------------------------------------------------------------------------------- /mythril/support/opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/opcodes.py -------------------------------------------------------------------------------- /mythril/support/signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/signatures.py -------------------------------------------------------------------------------- /mythril/support/source_support.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/source_support.py -------------------------------------------------------------------------------- /mythril/support/start_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/start_time.py -------------------------------------------------------------------------------- /mythril/support/support_args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/support_args.py -------------------------------------------------------------------------------- /mythril/support/support_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/mythril/support/support_utils.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/setup.py -------------------------------------------------------------------------------- /solidity_examples/BECToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/BECToken.sol -------------------------------------------------------------------------------- /solidity_examples/WalletLibrary.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/WalletLibrary.sol -------------------------------------------------------------------------------- /solidity_examples/calls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/calls.sol -------------------------------------------------------------------------------- /solidity_examples/etherstore.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/etherstore.sol -------------------------------------------------------------------------------- /solidity_examples/exceptions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/exceptions.sol -------------------------------------------------------------------------------- /solidity_examples/hashforether.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/hashforether.sol -------------------------------------------------------------------------------- /solidity_examples/killbilly.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/killbilly.sol -------------------------------------------------------------------------------- /solidity_examples/origin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/origin.sol -------------------------------------------------------------------------------- /solidity_examples/returnvalue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/returnvalue.sol -------------------------------------------------------------------------------- /solidity_examples/rubixi.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/rubixi.sol -------------------------------------------------------------------------------- /solidity_examples/suicide.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/suicide.sol -------------------------------------------------------------------------------- /solidity_examples/timelock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/timelock.sol -------------------------------------------------------------------------------- /solidity_examples/token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/token.sol -------------------------------------------------------------------------------- /solidity_examples/weak_random.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/solidity_examples/weak_random.sol -------------------------------------------------------------------------------- /static/Ownable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/Ownable.html -------------------------------------------------------------------------------- /static/assertions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/assertions.html -------------------------------------------------------------------------------- /static/callgraph7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/callgraph7.png -------------------------------------------------------------------------------- /static/callgraph8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/callgraph8.png -------------------------------------------------------------------------------- /static/mythril.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/mythril.html -------------------------------------------------------------------------------- /static/mythril_new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/mythril_new.png -------------------------------------------------------------------------------- /static/sample_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/static/sample_report.md -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/__init__.py -------------------------------------------------------------------------------- /tests/analysis/abi_decode_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/analysis/abi_decode_test.py -------------------------------------------------------------------------------- /tests/analysis/arbitrary_jump_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/analysis/arbitrary_jump_test.py -------------------------------------------------------------------------------- /tests/cli_tests/cli_opts_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/cli_tests/cli_opts_test.py -------------------------------------------------------------------------------- /tests/cmd_line_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/cmd_line_test.py -------------------------------------------------------------------------------- /tests/concolic/concolic_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/concolic/concolic_tests.py -------------------------------------------------------------------------------- /tests/disassembler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/disassembler/asm_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/disassembler/asm_test.py -------------------------------------------------------------------------------- /tests/disassembler/disassembly_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/disassembler/disassembly_test.py -------------------------------------------------------------------------------- /tests/disassembler_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/disassembler_test.py -------------------------------------------------------------------------------- /tests/evmcontract_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/evmcontract_test.py -------------------------------------------------------------------------------- /tests/features_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/features_test.py -------------------------------------------------------------------------------- /tests/graph_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/graph_test.py -------------------------------------------------------------------------------- /tests/instructions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/instructions/basefee_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/basefee_test.py -------------------------------------------------------------------------------- /tests/instructions/codecopy_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/codecopy_test.py -------------------------------------------------------------------------------- /tests/instructions/create2_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/create2_test.py -------------------------------------------------------------------------------- /tests/instructions/create_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/create_test.py -------------------------------------------------------------------------------- /tests/instructions/extcodecopy_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/extcodecopy_test.py -------------------------------------------------------------------------------- /tests/instructions/extcodehash_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/extcodehash_test.py -------------------------------------------------------------------------------- /tests/instructions/push_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/push_test.py -------------------------------------------------------------------------------- /tests/instructions/sar_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/sar_test.py -------------------------------------------------------------------------------- /tests/instructions/shl_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/shl_test.py -------------------------------------------------------------------------------- /tests/instructions/shr_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/shr_test.py -------------------------------------------------------------------------------- /tests/instructions/static_call_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/instructions/static_call_test.py -------------------------------------------------------------------------------- /tests/integration_tests/analysis_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/analysis_tests.py -------------------------------------------------------------------------------- /tests/integration_tests/coverage_metrics_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/coverage_metrics_test.py -------------------------------------------------------------------------------- /tests/integration_tests/old_version_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/old_version_test.py -------------------------------------------------------------------------------- /tests/integration_tests/safe_functions_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/safe_functions_test.py -------------------------------------------------------------------------------- /tests/integration_tests/solc_settings_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/solc_settings_test.py -------------------------------------------------------------------------------- /tests/integration_tests/src_mapping_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/src_mapping_test.py -------------------------------------------------------------------------------- /tests/integration_tests/state_merge_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/state_merge_tests.py -------------------------------------------------------------------------------- /tests/integration_tests/summary_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/summary_test.py -------------------------------------------------------------------------------- /tests/integration_tests/transient_storage_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/transient_storage_test.py -------------------------------------------------------------------------------- /tests/integration_tests/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/utils.py -------------------------------------------------------------------------------- /tests/integration_tests/version_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/integration_tests/version_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/blake2_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/blake2_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/ec_add_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/ec_add_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/ecrecover_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/ecrecover_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/elliptic_curves_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/elliptic_curves_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/elliptic_mul_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/elliptic_mul_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/identity_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/identity_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/mod_exp_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/mod_exp_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/ripemd_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/ripemd_test.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/sha256_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/Precompiles/sha256_test.py -------------------------------------------------------------------------------- /tests/laser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/LICENSE -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/README.md -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodBigIntCast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodBigIntCast.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/arith1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/arith1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/div1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/div1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divBoostBug.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divBoostBug.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_17.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_18.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_19.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_20.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_21.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_22.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_64.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY_success.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY_success.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/modByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/modByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/not1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/not1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_dejavu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_dejavu.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_00.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_00.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod8_byZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod8_byZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/stop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/stop.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/caller.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/caller.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/callvalue.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/callvalue.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codecopy0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codecopy0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codesize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codesize.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/gasprice.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/gasprice.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/origin.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/origin.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/byte1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/byte1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpHigh.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpHigh.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/kv1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/kv1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/memory1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/memory1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/when.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/when.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2error.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2error.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push17.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push18.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push19.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push20.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push21.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push22.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push23.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push23.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push24.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push24.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push25.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push26.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push26.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push27.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push27.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push28.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push28.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push29.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push29.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push30.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push30.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push31.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push31.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push33.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push33.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2error.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2error.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swapjump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swapjump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503102320PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503102320PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110206PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110206PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110219PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110219PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503111844PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503111844PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503112218PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503112218PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_3oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_3oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_4oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_4oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_5oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_5oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_6oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_6oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffset2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffset2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffsetoog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffsetoog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigSizeoog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigSizeoog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/suicide0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/suicide0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmTests/suicide.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmTests/suicide.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/evm_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/evm_testsuite/evm_test.py -------------------------------------------------------------------------------- /tests/laser/keccak_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/keccak_tests.py -------------------------------------------------------------------------------- /tests/laser/smt/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/smt/independece_solver_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/smt/independece_solver_test.py -------------------------------------------------------------------------------- /tests/laser/smt/model_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/smt/model_test.py -------------------------------------------------------------------------------- /tests/laser/state/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/state/calldata_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/state/calldata_test.py -------------------------------------------------------------------------------- /tests/laser/state/mstack_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/state/mstack_test.py -------------------------------------------------------------------------------- /tests/laser/state/mstate_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/state/mstate_test.py -------------------------------------------------------------------------------- /tests/laser/state/storage_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/state/storage_test.py -------------------------------------------------------------------------------- /tests/laser/state/world_state_account_exist_load_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/state/world_state_account_exist_load_test.py -------------------------------------------------------------------------------- /tests/laser/strategy/beam_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/strategy/beam_test.py -------------------------------------------------------------------------------- /tests/laser/strategy/loop_bound_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/strategy/loop_bound_test.py -------------------------------------------------------------------------------- /tests/laser/transaction/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/transaction/create_transaction_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/transaction/create_transaction_test.py -------------------------------------------------------------------------------- /tests/laser/transaction/symbolic_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/transaction/symbolic_test.py -------------------------------------------------------------------------------- /tests/laser/transaction_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/transaction_test.py -------------------------------------------------------------------------------- /tests/laser/tx_prioritisation_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/laser/tx_prioritisation_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_analyzer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/mythril/mythril_analyzer_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_config_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/mythril/mythril_config_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_disassembler_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/mythril/mythril_disassembler_test.py -------------------------------------------------------------------------------- /tests/plugin/interface_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/plugin/interface_test.py -------------------------------------------------------------------------------- /tests/plugin/loader_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/plugin/loader_test.py -------------------------------------------------------------------------------- /tests/pre-commit-hooks/Counter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/pre-commit-hooks/Counter.sol -------------------------------------------------------------------------------- /tests/pre-commit-hooks/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/pre-commit-hooks/test.sh -------------------------------------------------------------------------------- /tests/rpc_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/rpc_test.py -------------------------------------------------------------------------------- /tests/solidity_contract_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/solidity_contract_test.py -------------------------------------------------------------------------------- /tests/statespace_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/statespace_test.py -------------------------------------------------------------------------------- /tests/testdata/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/testdata/compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/compile.py -------------------------------------------------------------------------------- /tests/testdata/concolic_io/multi_contract_example.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/multi_contract_example.sol -------------------------------------------------------------------------------- /tests/testdata/concolic_io/multi_contract_example_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/multi_contract_example_input.json -------------------------------------------------------------------------------- /tests/testdata/concolic_io/multiple_example.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/multiple_example.sol -------------------------------------------------------------------------------- /tests/testdata/concolic_io/multiple_example_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/multiple_example_input.json -------------------------------------------------------------------------------- /tests/testdata/concolic_io/simple_example.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/simple_example.sol -------------------------------------------------------------------------------- /tests/testdata/concolic_io/simple_example_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/simple_example_input.json -------------------------------------------------------------------------------- /tests/testdata/concolic_io/two_contract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/two_contract.sol -------------------------------------------------------------------------------- /tests/testdata/concolic_io/two_contract_input.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/concolic_io/two_contract_input.json -------------------------------------------------------------------------------- /tests/testdata/input_contracts/SecureVault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/SecureVault.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/SimpleModifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/SimpleModifier.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/WalletLibrary.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/WalletLibrary.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/base_case.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/base_case.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/calls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/calls.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/complex.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/complex.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/constructor_assert.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/constructor_assert.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/destruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/destruct.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/destruct_crlf.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/destruct_crlf.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/environments.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/environments.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/ether_send.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/ether_send.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/exceptions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/exceptions.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/exceptions_0.8.0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/exceptions_0.8.0.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/extcall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/extcall.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/flag_array.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/flag_array.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/hash_test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/hash_test.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/integer_edge_case.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/integer_edge_case.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/kcalls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/kcalls.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/large.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/large.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/metacoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/metacoin.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/multi_contracts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/multi_contracts.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/nonascii.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/nonascii.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/old_origin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/old_origin.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/old_version.sol: -------------------------------------------------------------------------------- 1 | pragma solidity 0.4.11; 2 | contract test { } 3 | -------------------------------------------------------------------------------- /tests/testdata/input_contracts/origin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/origin.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/overflow.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/regression_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/regression_1.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/requirements_violation_neg.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/requirements_violation_neg.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/requirements_violation_pos.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/requirements_violation_pos.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/returnvalue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/returnvalue.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/rubixi.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/rubixi.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/safe_funcs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/safe_funcs.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/simple_theft.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/simple_theft.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/suicide.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/suicide.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/symbolic_exec_bytecode.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/symbolic_exec_bytecode.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/theft.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/theft.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/transient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/transient.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/transient_bug.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/transient_bug.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/transient_bug_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/transient_bug_2.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/transient_recursive.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/transient_recursive.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/tx.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/tx.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/underflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/underflow.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/unexpected_ether_neg.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/unexpected_ether_neg.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/unexpected_ether_pos.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/unexpected_ether_pos.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_2.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_3.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_4.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_chaos.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_chaos.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_contract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_contract.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_contract_0.7.0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_contract_0.7.0.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_contract_0.8.0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_contract_0.8.0.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/version_patch.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/version_patch.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/weak_random.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/input_contracts/weak_random.sol -------------------------------------------------------------------------------- /tests/testdata/inputs/calls.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/calls.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/coverage.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/coverage.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/environments.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/environments.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/ether_send.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/ether_send.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/exceptions.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/exceptions.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/exceptions_0.8.0.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/exceptions_0.8.0.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/extcall.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/extcall.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/flag_array.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/flag_array.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/kinds_of_calls.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/kinds_of_calls.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/metacoin.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/metacoin.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/multi_contracts.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/multi_contracts.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/nonascii.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/nonascii.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/origin.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/origin.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/overflow.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/overflow.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/returnvalue.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/returnvalue.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/safe_funcs.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/safe_funcs.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/suicide.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/suicide.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/symbolic_exec_bytecode.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/symbolic_exec_bytecode.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/underflow.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/inputs/underflow.sol.o -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/PRC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/json_test_dir/PRC20.sol -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/dir_a/input_file.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/json_test_dir/dir_a/input_file.sol -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/dir_a/input_file_args.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/json_test_dir/dir_a/input_file_args.sol -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/test_file.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/json_test_dir/test_file.json -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/test_file_disable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/json_test_dir/test_file_disable.json -------------------------------------------------------------------------------- /tests/testdata/mythril_config_inputs/config.ini: -------------------------------------------------------------------------------- 1 | [defaults] 2 | dynamic_loading = infura 3 | -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/calls.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/calls.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/calls.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/calls.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/environments.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/environments.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/environments.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/environments.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/ether_send.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/ether_send.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/ether_send.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/ether_send.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/exceptions.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/exceptions.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/exceptions.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/exceptions.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/kinds_of_calls.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/kinds_of_calls.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/kinds_of_calls.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/metacoin.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/metacoin.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/metacoin.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/metacoin.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/multi_contracts.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/multi_contracts.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/nonascii.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/nonascii.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/nonascii.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/nonascii.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/origin.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/origin.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/origin.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/origin.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/overflow.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/overflow.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/overflow.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/overflow.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/returnvalue.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/returnvalue.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/returnvalue.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/suicide.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/suicide.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/suicide.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/suicide.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/underflow.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/underflow.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/underflow.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/testdata/outputs_expected/underflow.sol.o.graph.html -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/teststorage/contractstorage.fs -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs.index: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/teststorage/contractstorage.fs.index -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/util_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tests/util_tests.py -------------------------------------------------------------------------------- /tox.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConsenSysDiligence/mythril/HEAD/tox.ini --------------------------------------------------------------------------------