Default Branch

develop 8201bfd75f · Fix issues with statespace on solc 0.8.26 (#1863) · Updated 3 months ago

ZIP  TAR.GZ

Branches

TOD_MODULE 1f299e779f · Merge branch 'develop' into TOD_MODULE · Updated 5 years ago	650 5		ZIP  TAR.GZ
add/feats e881b855fb · Add new features · Updated 9 months ago	29 1		ZIP  TAR.GZ
add/modules a4c5ee0b24 · Merge branch 'add/modules' of github.com:Consensys/mythril into add/modules · Updated 9 months ago	30 5		ZIP  TAR.GZ
add_concrete_stuff 4a2d5209d1 · Fix bugs for concretisation · Updated 5 years ago	964 13		ZIP  TAR.GZ
analysis/TOD e001b2d5e7 · Add Transaction order dependence · Updated 6 years ago	1436 1		ZIP  TAR.GZ
analyze-with-mythx cc42cccf08 · Merge branch 'develop' into analyze-with-mythx · Updated 5 years ago	859 0	Included	ZIP  TAR.GZ
any_name 9af3a272c7 · "true" to True · Updated 5 years ago	946 1		ZIP  TAR.GZ
arbitrary_storage c2c2799e3a · Merge branch 'develop' into arbitrary_storage · Updated 5 years ago	782 11		ZIP  TAR.GZ
berndt_1 9028c748e6 · Fix DoS module initialization · Updated 5 years ago	1134 3		ZIP  TAR.GZ
berndtz_experimental d2ef90c4e6 · Change log statement to debug · Updated 6 years ago	1306 37		ZIP  TAR.GZ
better_bounds 1f783792b2 · Greater trace length and some black · Updated 5 years ago	644 7		ZIP  TAR.GZ
bug/constructor-arguments 8e7ddbaf66 · Merge branch 'develop' into bug/constructor-arguments · Updated 5 years ago	908 0	Included	ZIP  TAR.GZ
bug/instructions-out-of-bounds d8f5813da8 · Changed instructions out-of-bounds behavior to return halt instruction. · Updated 5 years ago	797 1		ZIP  TAR.GZ
bug/invalid-loop-pruning e9dfa8fca3 · Make keys unique · Updated 5 years ago	784 0	Included	ZIP  TAR.GZ
bugfix/1840 e22cce4f70 · Fix a bug due to issues with balance · Updated 8 months ago	21 1		ZIP  TAR.GZ
call_depth 7f4b462af6 · Merge branch 'develop' of github.com:ConsenSys/mythril into call_depth · Updated 5 years ago	376 2		ZIP  TAR.GZ
cfg_fix 9fce2fd0ae · Set default tx count to 1 in graph generator · Updated 6 years ago	1538 1		ZIP  TAR.GZ
check-delegatecall-after c19f0eb082 · Check delegatecall after execution finishes · Updated 5 years ago	846 1		ZIP  TAR.GZ
check_existing_annotations 79a20395cb · Check for existing state annotations · Updated 6 years ago	1768 1		ZIP  TAR.GZ
cli-code-coverage b422c9fbae · Removed redundant code · Updated 5 years ago	990 4		ZIP  TAR.GZ