├── .circleci └── config.yml ├── .drone.yml ├── .editorconfig ├── .gitattributes ├── .github └── ISSUE_TEMPLATE │ ├── analysis-module.md │ ├── bug-report.md │ └── feature-request.md ├── .gitignore ├── .pre-commit-config.yaml ├── CONTRIBUTING.md ├── Dockerfile ├── LICENSE ├── MANIFEST.in ├── README.md ├── all_tests.sh ├── coverage_report.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 │ ├── mythril.analysis.modules.rst │ ├── mythril.analysis.rst │ ├── mythril.disassembler.rst │ ├── mythril.ethereum.interface.leveldb.rst │ ├── mythril.ethereum.interface.rpc.rst │ ├── mythril.ethereum.interface.rst │ ├── mythril.ethereum.rst │ ├── mythril.interfaces.rst │ ├── mythril.laser.ethereum.rst │ ├── mythril.laser.ethereum.state.rst │ ├── mythril.laser.ethereum.strategy.rst │ ├── mythril.laser.ethereum.transaction.rst │ ├── mythril.laser.rst │ ├── mythril.laser.smt.rst │ ├── mythril.rst │ ├── mythril.solidity.rst │ ├── mythril.support.rst │ ├── security-analysis.rst │ └── wiki.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 │ ├── 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 │ │ │ ├── state_change_external_calls.py │ │ │ ├── suicide.py │ │ │ ├── unchecked_retval.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 ├── 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 │ │ ├── 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 │ │ │ └── world_state.py │ │ ├── strategy │ │ │ ├── __init__.py │ │ │ ├── basic.py │ │ │ └── extensions │ │ │ │ ├── __init__.py │ │ │ │ └── bounded_loops.py │ │ ├── svm.py │ │ ├── time_handler.py │ │ ├── transaction │ │ │ ├── __init__.py │ │ │ ├── concolic.py │ │ │ ├── symbolic.py │ │ │ └── transaction_models.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 │ │ │ ├── dependency_pruner.py │ │ │ ├── instruction_profiler.py │ │ │ ├── mutation_pruner.py │ │ │ ├── plugin_annotations.py │ │ │ └── summary_backup │ │ │ │ └── __init__.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 │ └── soliditycontract.py └── support │ ├── __init__.py │ ├── assets │ └── signatures.db │ ├── loader.py │ ├── model.py │ ├── opcodes.py │ ├── signatures.py │ ├── source_support.py │ ├── start_time.py │ ├── support_args.py │ └── support_utils.py ├── requirements.txt ├── setup.py ├── solidity_examples ├── BECToken.sol ├── WalletLibrary.sol ├── calls.sol ├── etherstore.sol ├── exceptions.sol ├── hashforether.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 ├── cli_tests │ └── test_cli_opts.py ├── cmd_line_test.py ├── disassembler │ ├── __init__.py │ ├── asm.py │ └── disassembly.py ├── disassembler_test.py ├── evmcontract_test.py ├── graph_test.py ├── instructions │ ├── __init__.py │ ├── berlin_fork_opcodes_test.py │ ├── codecopy_test.py │ ├── create2_test.py │ ├── create_test.py │ ├── extcodecopy_test.py │ ├── extcodehash_test.py │ ├── sar_test.py │ ├── shl_test.py │ ├── shr_test.py │ ├── static_call_test.py │ └── test_basefee.py ├── integration_tests │ ├── analysis_tests.py │ ├── test_safe_functions.py │ └── test_solc_settings.py ├── laser │ ├── Precompiles │ │ ├── test_blake2.py │ │ ├── test_ec_add.py │ │ ├── test_ecrecover.py │ │ ├── test_elliptic_curves.py │ │ ├── test_elliptic_mul.py │ │ ├── test_identity.py │ │ ├── test_mod_exp.py │ │ ├── test_ripemd.py │ │ └── test_sha256.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 │ │ └── test_loop_bound.py │ ├── test_transaction.py │ └── transaction │ │ ├── __init__.py │ │ ├── create_transaction_test.py │ │ └── symbolic_test.py ├── mythril │ ├── mythril_analyzer_test.py │ ├── mythril_config_test.py │ └── mythril_disassembler_test.py ├── plugin │ ├── interface_test.py │ └── loader_test.py ├── rpc_test.py ├── solidity_contract_test.py ├── statespace_test.py ├── testdata │ ├── __init__.py │ ├── compile.py │ ├── input_contracts │ │ ├── calls.sol │ │ ├── constructor_assert.sol │ │ ├── environments.sol │ │ ├── ether_send.sol │ │ ├── exceptions.sol │ │ ├── exceptions_0.8.0.sol │ │ ├── flag_array.sol │ │ ├── kinds_of_calls.sol │ │ ├── metacoin.sol │ │ ├── multi_contracts.sol │ │ ├── nonascii.sol │ │ ├── origin.sol │ │ ├── overflow.sol │ │ ├── returnvalue.sol │ │ ├── rubixi.sol │ │ ├── safe_funcs.sol │ │ ├── suicide.sol │ │ ├── symbolic_exec_bytecode.sol │ │ ├── underflow.sol │ │ └── weak_random.sol │ ├── inputs │ │ ├── calls.sol.o │ │ ├── environments.sol.o │ │ ├── ether_send.sol.o │ │ ├── exceptions.sol.o │ │ ├── exceptions_0.8.0.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 │ │ └── test_file.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 └── tox.ini /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.drone.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.drone.yml -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/analysis-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.github/ISSUE_TEMPLATE/analysis-module.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.github/ISSUE_TEMPLATE/bug-report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.github/ISSUE_TEMPLATE/feature-request.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/README.md -------------------------------------------------------------------------------- /all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/all_tests.sh -------------------------------------------------------------------------------- /coverage_report.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/coverage_report.sh -------------------------------------------------------------------------------- /docker_build_and_deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docker_build_and_deploy.sh -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/source/about.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/about.rst -------------------------------------------------------------------------------- /docs/source/analysis-modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/analysis-modules.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/create-module.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/create-module.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/installation.rst -------------------------------------------------------------------------------- /docs/source/module-list.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/module-list.rst -------------------------------------------------------------------------------- /docs/source/mythril.analysis.modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.analysis.modules.rst -------------------------------------------------------------------------------- /docs/source/mythril.analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.analysis.rst -------------------------------------------------------------------------------- /docs/source/mythril.disassembler.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.disassembler.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.interface.leveldb.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.ethereum.interface.leveldb.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.interface.rpc.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.ethereum.interface.rpc.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.interface.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.ethereum.interface.rst -------------------------------------------------------------------------------- /docs/source/mythril.ethereum.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.ethereum.rst -------------------------------------------------------------------------------- /docs/source/mythril.interfaces.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.interfaces.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.ethereum.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.state.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.ethereum.state.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.strategy.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.ethereum.strategy.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.ethereum.transaction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.ethereum.transaction.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.rst -------------------------------------------------------------------------------- /docs/source/mythril.laser.smt.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.laser.smt.rst -------------------------------------------------------------------------------- /docs/source/mythril.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.rst -------------------------------------------------------------------------------- /docs/source/mythril.solidity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.solidity.rst -------------------------------------------------------------------------------- /docs/source/mythril.support.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/mythril.support.rst -------------------------------------------------------------------------------- /docs/source/security-analysis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/docs/source/security-analysis.rst -------------------------------------------------------------------------------- /docs/source/wiki.rst: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mypy-stubs/z3/__init__.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mypy-stubs/z3/__init__.pyi -------------------------------------------------------------------------------- /mypy-stubs/z3/z3core.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mypy-stubs/z3/z3core.pyi -------------------------------------------------------------------------------- /mypy-stubs/z3/z3types.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mypy-stubs/z3/z3types.pyi -------------------------------------------------------------------------------- /myth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/myth -------------------------------------------------------------------------------- /mythril/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/__init__.py -------------------------------------------------------------------------------- /mythril/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/__main__.py -------------------------------------------------------------------------------- /mythril/__version__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/mythril/analysis/call_helpers.py -------------------------------------------------------------------------------- /mythril/analysis/callgraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/callgraph.py -------------------------------------------------------------------------------- /mythril/analysis/module/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/__init__.py -------------------------------------------------------------------------------- /mythril/analysis/module/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/base.py -------------------------------------------------------------------------------- /mythril/analysis/module/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/loader.py -------------------------------------------------------------------------------- /mythril/analysis/module/module_helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/arbitrary_jump.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/arbitrary_write.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/arbitrary_write.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/delegatecall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/delegatecall.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/dependence_on_origin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/dependence_on_origin.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/dependence_on_predictable_vars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/dependence_on_predictable_vars.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/ether_thief.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/ether_thief.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/exceptions.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/external_calls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/external_calls.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/integer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/integer.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/multiple_sends.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/multiple_sends.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/state_change_external_calls.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/state_change_external_calls.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/suicide.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/suicide.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/unchecked_retval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/unchecked_retval.py -------------------------------------------------------------------------------- /mythril/analysis/module/modules/user_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/modules/user_assertions.py -------------------------------------------------------------------------------- /mythril/analysis/module/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/module/util.py -------------------------------------------------------------------------------- /mythril/analysis/ops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/ops.py -------------------------------------------------------------------------------- /mythril/analysis/potential_issues.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/potential_issues.py -------------------------------------------------------------------------------- /mythril/analysis/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/report.py -------------------------------------------------------------------------------- /mythril/analysis/security.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/security.py -------------------------------------------------------------------------------- /mythril/analysis/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/solver.py -------------------------------------------------------------------------------- /mythril/analysis/swc_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/swc_data.py -------------------------------------------------------------------------------- /mythril/analysis/symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/symbolic.py -------------------------------------------------------------------------------- /mythril/analysis/templates/callgraph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/templates/callgraph.html -------------------------------------------------------------------------------- /mythril/analysis/templates/report_as_markdown.jinja2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/templates/report_as_markdown.jinja2 -------------------------------------------------------------------------------- /mythril/analysis/templates/report_as_text.jinja2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/templates/report_as_text.jinja2 -------------------------------------------------------------------------------- /mythril/analysis/traceexplore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/analysis/traceexplore.py -------------------------------------------------------------------------------- /mythril/disassembler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/disassembler/asm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/disassembler/asm.py -------------------------------------------------------------------------------- /mythril/disassembler/disassembly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/disassembler/disassembly.py -------------------------------------------------------------------------------- /mythril/ethereum/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/ethereum/evmcontract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/mythril/ethereum/interface/rpc/base_client.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/client.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/ethereum/interface/rpc/client.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/ethereum/interface/rpc/constants.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/ethereum/interface/rpc/exceptions.py -------------------------------------------------------------------------------- /mythril/ethereum/interface/rpc/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/ethereum/interface/rpc/utils.py -------------------------------------------------------------------------------- /mythril/ethereum/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/ethereum/util.py -------------------------------------------------------------------------------- /mythril/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/exceptions.py -------------------------------------------------------------------------------- /mythril/interfaces/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/interfaces/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/interfaces/cli.py -------------------------------------------------------------------------------- /mythril/interfaces/epic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/mythril/laser/ethereum/call.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/cfg.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/evm_exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/evm_exceptions.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/function_managers/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/exponent_function_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/function_managers/exponent_function_manager.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/function_managers/keccak_function_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/function_managers/keccak_function_manager.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/instruction_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/instruction_data.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/instructions.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/natives.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/account.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/annotation.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/calldata.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/calldata.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/constraints.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/environment.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/global_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/global_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/machine_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/machine_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/memory.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/state/world_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/state/world_state.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/strategy/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/strategy/basic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/extensions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/ethereum/strategy/extensions/bounded_loops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/svm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/svm.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/time_handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/time_handler.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/transaction/__init__.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/concolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/transaction/concolic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/transaction/symbolic.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/transaction/transaction_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/transaction/transaction_models.py -------------------------------------------------------------------------------- /mythril/laser/ethereum/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/ethereum/util.py -------------------------------------------------------------------------------- /mythril/laser/execution_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/execution_info.py -------------------------------------------------------------------------------- /mythril/laser/plugin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/builder.py -------------------------------------------------------------------------------- /mythril/laser/plugin/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/interface.py -------------------------------------------------------------------------------- /mythril/laser/plugin/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/loader.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/benchmark.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/call_depth_limiter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/call_depth_limiter.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/coverage/__init__.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/coverage_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/coverage/coverage_strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/dependency_pruner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/dependency_pruner.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/instruction_profiler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/instruction_profiler.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/mutation_pruner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/mutation_pruner.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/plugin_annotations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/plugins/plugin_annotations.py -------------------------------------------------------------------------------- /mythril/laser/plugin/plugins/summary_backup/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/laser/plugin/signals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/plugin/signals.py -------------------------------------------------------------------------------- /mythril/laser/smt/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/__init__.py -------------------------------------------------------------------------------- /mythril/laser/smt/array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/array.py -------------------------------------------------------------------------------- /mythril/laser/smt/bitvec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/bitvec.py -------------------------------------------------------------------------------- /mythril/laser/smt/bitvec_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/bitvec_helper.py -------------------------------------------------------------------------------- /mythril/laser/smt/bool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/bool.py -------------------------------------------------------------------------------- /mythril/laser/smt/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/expression.py -------------------------------------------------------------------------------- /mythril/laser/smt/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/function.py -------------------------------------------------------------------------------- /mythril/laser/smt/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/model.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/solver/__init__.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/independence_solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/solver/independence_solver.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/solver/solver.py -------------------------------------------------------------------------------- /mythril/laser/smt/solver/solver_statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/laser/smt/solver/solver_statistics.py -------------------------------------------------------------------------------- /mythril/mythril/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/mythril/__init__.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/mythril/mythril_analyzer.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/mythril/mythril_config.py -------------------------------------------------------------------------------- /mythril/mythril/mythril_disassembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/mythril/mythril_disassembler.py -------------------------------------------------------------------------------- /mythril/plugin/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/plugin/__init__.py -------------------------------------------------------------------------------- /mythril/plugin/discovery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/plugin/discovery.py -------------------------------------------------------------------------------- /mythril/plugin/interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/plugin/interface.py -------------------------------------------------------------------------------- /mythril/plugin/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/plugin/loader.py -------------------------------------------------------------------------------- /mythril/solidity/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/solidity/soliditycontract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/solidity/soliditycontract.py -------------------------------------------------------------------------------- /mythril/support/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /mythril/support/assets/signatures.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/assets/signatures.db -------------------------------------------------------------------------------- /mythril/support/loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/loader.py -------------------------------------------------------------------------------- /mythril/support/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/model.py -------------------------------------------------------------------------------- /mythril/support/opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/opcodes.py -------------------------------------------------------------------------------- /mythril/support/signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/signatures.py -------------------------------------------------------------------------------- /mythril/support/source_support.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/source_support.py -------------------------------------------------------------------------------- /mythril/support/start_time.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/start_time.py -------------------------------------------------------------------------------- /mythril/support/support_args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/support_args.py -------------------------------------------------------------------------------- /mythril/support/support_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/mythril/support/support_utils.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/setup.py -------------------------------------------------------------------------------- /solidity_examples/BECToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/BECToken.sol -------------------------------------------------------------------------------- /solidity_examples/WalletLibrary.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/WalletLibrary.sol -------------------------------------------------------------------------------- /solidity_examples/calls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/calls.sol -------------------------------------------------------------------------------- /solidity_examples/etherstore.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/etherstore.sol -------------------------------------------------------------------------------- /solidity_examples/exceptions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/exceptions.sol -------------------------------------------------------------------------------- /solidity_examples/hashforether.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/hashforether.sol -------------------------------------------------------------------------------- /solidity_examples/origin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/origin.sol -------------------------------------------------------------------------------- /solidity_examples/returnvalue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/returnvalue.sol -------------------------------------------------------------------------------- /solidity_examples/rubixi.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/rubixi.sol -------------------------------------------------------------------------------- /solidity_examples/suicide.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/suicide.sol -------------------------------------------------------------------------------- /solidity_examples/timelock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/timelock.sol -------------------------------------------------------------------------------- /solidity_examples/token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/token.sol -------------------------------------------------------------------------------- /solidity_examples/weak_random.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/solidity_examples/weak_random.sol -------------------------------------------------------------------------------- /static/Ownable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/Ownable.html -------------------------------------------------------------------------------- /static/assertions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/assertions.html -------------------------------------------------------------------------------- /static/callgraph7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/callgraph7.png -------------------------------------------------------------------------------- /static/callgraph8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/callgraph8.png -------------------------------------------------------------------------------- /static/mythril.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/mythril.html -------------------------------------------------------------------------------- /static/mythril_new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/mythril_new.png -------------------------------------------------------------------------------- /static/sample_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/static/sample_report.md -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/__init__.py -------------------------------------------------------------------------------- /tests/cli_tests/test_cli_opts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/cli_tests/test_cli_opts.py -------------------------------------------------------------------------------- /tests/cmd_line_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/cmd_line_test.py -------------------------------------------------------------------------------- /tests/disassembler/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/disassembler/asm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/disassembler/asm.py -------------------------------------------------------------------------------- /tests/disassembler/disassembly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/disassembler/disassembly.py -------------------------------------------------------------------------------- /tests/disassembler_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/disassembler_test.py -------------------------------------------------------------------------------- /tests/evmcontract_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/evmcontract_test.py -------------------------------------------------------------------------------- /tests/graph_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/graph_test.py -------------------------------------------------------------------------------- /tests/instructions/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/instructions/berlin_fork_opcodes_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/berlin_fork_opcodes_test.py -------------------------------------------------------------------------------- /tests/instructions/codecopy_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/codecopy_test.py -------------------------------------------------------------------------------- /tests/instructions/create2_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/create2_test.py -------------------------------------------------------------------------------- /tests/instructions/create_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/create_test.py -------------------------------------------------------------------------------- /tests/instructions/extcodecopy_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/extcodecopy_test.py -------------------------------------------------------------------------------- /tests/instructions/extcodehash_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/extcodehash_test.py -------------------------------------------------------------------------------- /tests/instructions/sar_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/sar_test.py -------------------------------------------------------------------------------- /tests/instructions/shl_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/shl_test.py -------------------------------------------------------------------------------- /tests/instructions/shr_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/shr_test.py -------------------------------------------------------------------------------- /tests/instructions/static_call_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/static_call_test.py -------------------------------------------------------------------------------- /tests/instructions/test_basefee.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/instructions/test_basefee.py -------------------------------------------------------------------------------- /tests/integration_tests/analysis_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/integration_tests/analysis_tests.py -------------------------------------------------------------------------------- /tests/integration_tests/test_safe_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/integration_tests/test_safe_functions.py -------------------------------------------------------------------------------- /tests/integration_tests/test_solc_settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/integration_tests/test_solc_settings.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_blake2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_blake2.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_ec_add.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_ec_add.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_ecrecover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_ecrecover.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_elliptic_curves.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_elliptic_curves.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_elliptic_mul.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_elliptic_mul.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_identity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_identity.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_mod_exp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_mod_exp.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_ripemd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_ripemd.py -------------------------------------------------------------------------------- /tests/laser/Precompiles/test_sha256.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/Precompiles/test_sha256.py -------------------------------------------------------------------------------- /tests/laser/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/LICENSE -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/README.md -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/add4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflow4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflowDiff.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod1_overflowDiff.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod2_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmod3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodBigIntCast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodBigIntCast.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/addmodDivByZero3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/arith1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/arith1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/div1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/div1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divBoostBug.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divBoostBug.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByNonZero3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/divByZero_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/exp8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_17.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_18.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_19.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_20.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_21.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_22.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_23.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_23.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_24.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_24.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_25.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_26.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_26.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_27.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_27.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_28.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_28.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_29.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_29.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_30.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_30.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_31.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_31.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_33.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_33.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256Of256_9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_17.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_18.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_19.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_20.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_21.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_22.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_23.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_23.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_24.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_24.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_25.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_26.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_26.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_27.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_27.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_28.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_28.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_29.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_29.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_30.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_30.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_31.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_31.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_33.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_33.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf256_9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_128.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_256.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_64.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expPowerOf2_8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY_success.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/expXY_success.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/fibbonacci_unrolled.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/fibbonacci_unrolled.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/modByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/modByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mul7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod1_overflow4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod2_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/mulmoddivByZero3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/not1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/not1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdivByZero2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_dejavu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_dejavu.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sdiv_i256min3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_00.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_00.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_bitIsSet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/signextend_bitIsSet.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod8_byZero.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod8_byZero.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/smod_i256min2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/stop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/stop.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmArithmeticTest/sub4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/address1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy_sec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatacopy_sec.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldataload2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/calldatasize2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/caller.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/caller.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/callvalue.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/callvalue.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codecopy0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codecopy0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codesize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/codesize.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/gasprice.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/gasprice.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/origin.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmEnvironmentalInfo/origin.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJumpi0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJumpi0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJumpi1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/DynamicJumpi1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/byte1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/byte1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/codecopyMemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/codecopyMemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/deadCode_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/deadCode_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/for_loop2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gas1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gasOverFlow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/gasOverFlow.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/indirect_jump4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpAfterStop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpAfterStop.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpHigh.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpHigh.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpOntoJump.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpOntoJump.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpi1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpiAfterStop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/jumpiAfterStop.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/kv1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/kv1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/log1MemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/log1MemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/memory1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/memory1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadError0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadError0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadError1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadError1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadMemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mloadMemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/msize3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8MemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8MemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore8_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstoreMemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstoreMemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore_mload0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/mstore_mload0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pc1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/pop1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/return2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sha3MemExp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sha3MemExp.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/sstore_load_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/stack_loop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/stack_loop.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/stackjump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/stackjump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/when.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmIOandFlowOperations/when.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2error.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup2error.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/dup9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push17.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push18.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push19.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1_missingStack.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push1_missingStack.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push20.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push21.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push22.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push23.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push23.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push24.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push24.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push25.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push26.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push26.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push27.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push27.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push28.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push28.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push29.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push29.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push30.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push30.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push31.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push31.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32AndSuicide.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32AndSuicide.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push32Undefined3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push33.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push33.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/push9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap10.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap11.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap12.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap13.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap14.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap15.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap16.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2error.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap2error.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap3.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap4.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap5.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap6.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap7.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap8.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swap9.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swapjump1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmPushDupSwapTest/swapjump1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503102320PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503102320PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110206PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110206PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110219PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503110219PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503111844PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503111844PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmRandomTest/201503112218PYTHON.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmRandomTest/201503112218PYTHON.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_3oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_3oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_4oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_4oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_5oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_5oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_6oog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_6oog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffset2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffset2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffsetoog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigOffsetoog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigSizeoog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSha3Test/sha3_bigSizeoog.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return1.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/return2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/return2.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmSystemOperations/suicide0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmSystemOperations/suicide0.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/VMTests/vmTests/suicide.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/VMTests/vmTests/suicide.json -------------------------------------------------------------------------------- /tests/laser/evm_testsuite/evm_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/evm_testsuite/evm_test.py -------------------------------------------------------------------------------- /tests/laser/keccak_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/keccak_tests.py -------------------------------------------------------------------------------- /tests/laser/smt/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/smt/independece_solver_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/smt/independece_solver_test.py -------------------------------------------------------------------------------- /tests/laser/smt/model_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/smt/model_test.py -------------------------------------------------------------------------------- /tests/laser/state/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/state/calldata_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/state/calldata_test.py -------------------------------------------------------------------------------- /tests/laser/state/mstack_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/state/mstack_test.py -------------------------------------------------------------------------------- /tests/laser/state/mstate_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/state/mstate_test.py -------------------------------------------------------------------------------- /tests/laser/state/storage_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/state/storage_test.py -------------------------------------------------------------------------------- /tests/laser/state/world_state_account_exist_load_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/state/world_state_account_exist_load_test.py -------------------------------------------------------------------------------- /tests/laser/strategy/test_loop_bound.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/strategy/test_loop_bound.py -------------------------------------------------------------------------------- /tests/laser/test_transaction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/test_transaction.py -------------------------------------------------------------------------------- /tests/laser/transaction/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/laser/transaction/create_transaction_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/transaction/create_transaction_test.py -------------------------------------------------------------------------------- /tests/laser/transaction/symbolic_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/laser/transaction/symbolic_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_analyzer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/mythril/mythril_analyzer_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_config_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/mythril/mythril_config_test.py -------------------------------------------------------------------------------- /tests/mythril/mythril_disassembler_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/mythril/mythril_disassembler_test.py -------------------------------------------------------------------------------- /tests/plugin/interface_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/plugin/interface_test.py -------------------------------------------------------------------------------- /tests/plugin/loader_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/plugin/loader_test.py -------------------------------------------------------------------------------- /tests/rpc_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/rpc_test.py -------------------------------------------------------------------------------- /tests/solidity_contract_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/solidity_contract_test.py -------------------------------------------------------------------------------- /tests/statespace_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/statespace_test.py -------------------------------------------------------------------------------- /tests/testdata/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/testdata/compile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/compile.py -------------------------------------------------------------------------------- /tests/testdata/input_contracts/calls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/calls.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/constructor_assert.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/constructor_assert.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/environments.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/environments.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/ether_send.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/ether_send.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/exceptions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/exceptions.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/exceptions_0.8.0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/exceptions_0.8.0.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/flag_array.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/flag_array.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/kinds_of_calls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/kinds_of_calls.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/metacoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/metacoin.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/multi_contracts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/multi_contracts.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/nonascii.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/nonascii.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/origin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/origin.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/overflow.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/returnvalue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/returnvalue.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/rubixi.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/rubixi.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/safe_funcs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/safe_funcs.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/suicide.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/suicide.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/symbolic_exec_bytecode.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/symbolic_exec_bytecode.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/underflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/underflow.sol -------------------------------------------------------------------------------- /tests/testdata/input_contracts/weak_random.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/input_contracts/weak_random.sol -------------------------------------------------------------------------------- /tests/testdata/inputs/calls.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/calls.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/environments.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/environments.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/ether_send.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/ether_send.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/exceptions.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/exceptions.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/exceptions_0.8.0.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/exceptions_0.8.0.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/flag_array.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/flag_array.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/kinds_of_calls.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/kinds_of_calls.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/metacoin.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/metacoin.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/multi_contracts.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/multi_contracts.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/nonascii.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/nonascii.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/origin.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/origin.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/overflow.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/overflow.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/returnvalue.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/returnvalue.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/safe_funcs.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/safe_funcs.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/suicide.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/suicide.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/symbolic_exec_bytecode.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/symbolic_exec_bytecode.sol.o -------------------------------------------------------------------------------- /tests/testdata/inputs/underflow.sol.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/inputs/underflow.sol.o -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/PRC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/json_test_dir/PRC20.sol -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/dir_a/input_file.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/json_test_dir/dir_a/input_file.sol -------------------------------------------------------------------------------- /tests/testdata/json_test_dir/test_file.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/json_test_dir/test_file.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/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/calls.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/calls.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/calls.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/environments.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/environments.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/environments.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/environments.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/ether_send.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/ether_send.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/exceptions.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/exceptions.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/exceptions.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/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/muellerberndt/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/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/metacoin.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/metacoin.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/metacoin.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/multi_contracts.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/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/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/multi_contracts.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/nonascii.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/nonascii.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/nonascii.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/nonascii.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/origin.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/origin.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/origin.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/origin.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/overflow.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/overflow.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/overflow.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/overflow.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/returnvalue.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/returnvalue.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/returnvalue.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/returnvalue.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/suicide.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/suicide.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/suicide.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/suicide.sol.o.graph.html -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/underflow.sol.o.easm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/underflow.sol.o.easm -------------------------------------------------------------------------------- /tests/testdata/outputs_expected/underflow.sol.o.graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/testdata/outputs_expected/underflow.sol.o.graph.html -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/teststorage/contractstorage.fs -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs.index: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tests/teststorage/contractstorage.fs.index -------------------------------------------------------------------------------- /tests/teststorage/contractstorage.fs.tmp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tox.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/muellerberndt/mythril/HEAD/tox.ini --------------------------------------------------------------------------------