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

3802 Commits (eb4f0bc2686d5c2d4bbbe49a93d25ccdd3dc204f)
 

Author SHA1 Message Date
Bernhard Mueller eb4f0bc268
Merge branch 'develop' into add_tx_data
5 years ago
Bernhard Mueller 004a9f6189 Add explanative comments
5 years ago
Nikhil 8a99bc2032 Use a tuple and add type hints
5 years ago
Nikhil 2376f67caa Merge branch 'new_tx' into add_tx_data
5 years ago
Nikhil ffb50a8fa9 Add LRU cache to speedup
5 years ago
Bernhard Mueller bbf436569c
Merge pull request #1127 from ConsenSys/pruning_fixes
5 years ago
Bernhard Mueller ec4acd85ec Fix issues in dependency pruning plugin
5 years ago
Nikhil b688b1164c Add cache for all modules
5 years ago
Nikhil e39e7481d1 Add cache for dos module
5 years ago
Nikhil 96971ac60a Add tx data to all modules
5 years ago
Bernhard Mueller f00786eb6d Increase integration test exec timeout to 45s
5 years ago
Bernhard Mueller 82e3b209f8 Report address of JUMPI instruction in DoS module
5 years ago
Bernhard Mueller cbde4c69b8 Attempt to fix mypy error
5 years ago
Bernhard Mueller 94177c5164 Bump version
5 years ago
Bernhard Mueller 2552222fbf Fix type hint
5 years ago
Bernhard Mueller 1125c34ddb Modify loop detection to trigger after >2 iterations
5 years ago
Bernhard Mueller 02217dede7
Merge pull request #1124 from ConsenSys/speedup/sha
5 years ago
Nikhil Parasaram 2efaa02c2d
Merge branch 'develop' into speedup/sha
5 years ago
Bernhard Mueller 4f3fd00359 Catch Z3Errors in dependencypruner (workaround)
5 years ago
Nikhil Parasaram 7d4280c418 put hash for sha keccak()
5 years ago
Bernhard Mueller 1c129039a1 Black
5 years ago
Bernhard Mueller 2a0a42dac2 Fix integer slowdown, set default loop bound to 3
5 years ago
Bernhard Mueller 9cc47dba56 Remove unused import
5 years ago
Bernhard Mueller 939674f9f2 Clean up
5 years ago
Bernhard Mueller c64f137b58 Use correct function
5 years ago
Bernhard Mueller 2ae44d7c7e Add exception to loop bounds for creation transaction
5 years ago
Bernhard Mueller 4891645219 Remove unused import
5 years ago
Bernhard Mueller 0f509a0b13 Use set instead of list
5 years ago
Bernhard Mueller beea142fb2
Merge pull request #1121 from ConsenSys/annotations_to_union
5 years ago
Bernhard Mueller 5a727541ce Fix Sum function
5 years ago
Bernhard Mueller 47626e771d Merge branch 'develop' into annotations_to_union
5 years ago
Bernhard Mueller 85efb2da4b Default loop bound -> 2
5 years ago
Bernhard Mueller be71ddedf8 Add missing import
5 years ago
Bernhard Mueller 54d2025980 Fix more type issues
5 years ago
Bernhard Mueller 36ccfac6cb Fix type stuff
5 years ago
Bernhard Mueller 5c4c1e7ca3 Refactor Bitvec annotations to sets
5 years ago
Bernhard Mueller 9ee20642b8
Merge pull request #1119 from ConsenSys/sha3_annotations
5 years ago
Bernhard Mueller a17f2368d3
Merge pull request #1120 from ConsenSys/fix/annotations
5 years ago
Nikhil Parasaram e490802f3f Add type hints
5 years ago
Nikhil Parasaram 85f11e240b Fix the append issue
5 years ago
Bernhard Mueller 088b0031ca Correctly append annotations in sha3 instruction
5 years ago
Bernhard Mueller 9b964b0578 Remove unused code
5 years ago
Bernhard Mueller 0846599edc Remove further debug statements
5 years ago
Bernhard Mueller dbd9ddf662
Merge pull request #1117 from ConsenSys/call_as_sink
5 years ago
Bernhard Mueller eee2b9cc39
Merge pull request #1118 from ConsenSys/speedup_instructions
5 years ago
Nikhil Parasaram 3ea0c994ac Remove log for mstore8
5 years ago
Nikhil Parasaram 2564fee18f Speedup bottleneck instructions by removing or hashing the symbols
5 years ago
Bernhard Mueller d414eec349 Consider potential overflows when result is used as call value
5 years ago
Bernhard Mueller 9e62eecd8b
Merge pull request #1115 from ConsenSys/master
5 years ago
Bernhard Mueller edc024047b Merge branch 'develop' of github.com:ConsenSys/mythril into develop
5 years ago