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

3971 Commits (standard_actors)
 

Author SHA1 Message Date
Nikhil 756fa94dd2 Handle BitVecFunc inputs
5 years ago
Bernhard Mueller 294b71711e
Merge pull request #1134 from ConsenSys/develop
5 years ago
Bernhard Mueller 613bb9ae58
Bump version
5 years ago
Bernhard Mueller b3ef04bb09 Merge branch 'develop'
5 years ago
Nikhil 556d138d50 Fix type hints
5 years ago
Nikhil 541182db03 Fix the graph tests
5 years ago
Bernhard Mueller 4458ec07c3
Merge pull request #1131 from ConsenSys/add_tx_data
5 years ago
Nikhil d7b4f6b4e8 Use dictionary for memory
5 years ago
Nikhil Parasaram a26d8e3391
Merge branch 'develop' into add_tx_data
5 years ago
Nikhil c900abad81 Check for None as constraints
5 years ago
Bernhard Mueller 2fb31c8eed Rename DoS module to follow conventions
5 years ago
Bernhard Mueller f9964c36b9 Remove cache logic from DoS module (fixes false positives)
5 years ago
Bernhard Mueller eb00b16fa3
Merge pull request #1128 from ConsenSys/add_tx_data
5 years ago
Nikhil 2ad4665399 Merge branch 'add_tx_data' of github.com:ConsenSys/mythril into add_tx_data
5 years ago
Nikhil b1dc618ec7 Use a power of 2 for LRU cache size
5 years ago
Bernhard Mueller f6820175bd Change second list to tuple
5 years ago
Bernhard Mueller eb4f0bc268
Merge branch 'develop' into add_tx_data
5 years ago
Bernhard Mueller 43386d537b
Merge pull request #1129 from ConsenSys/develop
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 c5bc6cb144
Merge pull request #1125 from ConsenSys/develop
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