TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4707 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: dfcf5d2cc0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'dfcf5d2cc0'
${ noResults }
Commit Graph

4707 Commits (dfcf5d2cc0fffb6b855e16908cbd319a715a7110)
 

Author SHA1 Message Date
Bernhard Mueller 9cc47dba56 Remove unused import
6 years ago
Bernhard Mueller 939674f9f2 Clean up
6 years ago
Bernhard Mueller c64f137b58 Use correct function
6 years ago
Bernhard Mueller 2ae44d7c7e Add exception to loop bounds for creation transaction
6 years ago
Bernhard Mueller 4891645219 Remove unused import
6 years ago
Bernhard Mueller 0f509a0b13 Use set instead of list
6 years ago
Nathan 8944cf64af Merge branch 'analyze-with-mythx' of github.com:ConsenSys/mythril-classic into analyze-with-mythx
6 years ago
Nathan 19b4659be5 Convert --solc-args parameter to --solc-json
6 years ago
Bernhard Mueller beea142fb2
Merge pull request #1121 from ConsenSys/annotations_to_union
6 years ago
Nathan 337417ab7f
Merge branch 'develop' into analyze-with-mythx
6 years ago
Bernhard Mueller 5a727541ce Fix Sum function
6 years ago
Bernhard Mueller 47626e771d Merge branch 'develop' into annotations_to_union
6 years ago
Bernhard Mueller 85efb2da4b Default loop bound -> 2
6 years ago
Bernhard Mueller be71ddedf8 Add missing import
6 years ago
Bernhard Mueller 54d2025980 Fix more type issues
6 years ago
Bernhard Mueller 36ccfac6cb Fix type stuff
6 years ago
Bernhard Mueller 5c4c1e7ca3 Refactor Bitvec annotations to sets
6 years ago
Bernhard Mueller 9ee20642b8
Merge pull request #1119 from ConsenSys/sha3_annotations
6 years ago
Bernhard Mueller a17f2368d3
Merge pull request #1120 from ConsenSys/fix/annotations
6 years ago
Nikhil Parasaram e490802f3f Add type hints
6 years ago
Nikhil Parasaram 85f11e240b Fix the append issue
6 years ago
Bernhard Mueller 088b0031ca Correctly append annotations in sha3 instruction
6 years ago
Bernhard Mueller 9b964b0578 Remove unused code
6 years ago
Bernhard Mueller 0846599edc Remove further debug statements
6 years ago
Bernhard Mueller dbd9ddf662
Merge pull request #1117 from ConsenSys/call_as_sink
6 years ago
Bernhard Mueller eee2b9cc39
Merge pull request #1118 from ConsenSys/speedup_instructions
6 years ago
Nikhil Parasaram 3ea0c994ac Remove log for mstore8
6 years ago
Nikhil Parasaram 2564fee18f Speedup bottleneck instructions by removing or hashing the symbols
6 years ago
Bernhard Mueller d414eec349 Consider potential overflows when result is used as call value
6 years ago
Bernhard Mueller 5c5f1638cc
Merge pull request #1116 from ConsenSys/develop
6 years ago
Bernhard Mueller 9e62eecd8b
Merge pull request #1115 from ConsenSys/master
6 years ago
Bernhard Mueller edc024047b Merge branch 'develop' of github.com:ConsenSys/mythril into develop
6 years ago
Bernhard Mueller 901d842768 Tweak DoS module
6 years ago
Bernhard Mueller b630018993
Merge pull request #1114 from ConsenSys/develop
6 years ago
Bernhard Mueller 2e65d7977d
Merge pull request #1113 from ConsenSys/master
6 years ago
Bernhard Mueller febc02c453 Another bugfix for DoS module
6 years ago
Bernhard Mueller 7a1dcb1c9f
Merge pull request #1112 from ConsenSys/develop
6 years ago
Bernhard Mueller f16b5bb52d Merge branch 'develop' of github.com:ConsenSys/mythril into develop
6 years ago
Bernhard Mueller 735233248f Fix way locations are reported in DoS module
6 years ago
Bernhard Mueller 3f8d140cb8
Merge pull request #1111 from ConsenSys/develop
6 years ago
Bernhard Mueller a74f0674ff
Update __version__.py
6 years ago
Bernhard Mueller 8652627f89
Merge pull request #1110 from ConsenSys/loop_bounds_refactor
6 years ago
Bernhard Mueller 667ca755ba Reduce default loop bound to 2 and simplify DOS module
6 years ago
Bernhard Mueller b24dc32f82 Grammar fix
6 years ago
Bernhard Mueller d80ef7336d
Merge pull request #1107 from ConsenSys/pruning_fix_2
6 years ago
Bernhard Mueller 0d9aabb580
Merge pull request #1102 from ConsenSys/storage/experiment
6 years ago
Nikhil Parasaram 584b7c88b8 Use proper keccak inputs for maps
6 years ago
Nikhil Parasaram 49791f3f25 Fix black
6 years ago
Nikhil Parasaram e269b15af7 Merge branch 'storage/experiment' of github.com:ConsenSys/mythril into storage/experiment
6 years ago
Nikhil Parasaram 01e7c579cf Fix type hints
6 years ago