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

4258 Commits (better_bounds)
 

Author SHA1 Message Date
Bernhard Mueller b027b308a2
Merge pull request #1045 from ConsenSys/z3_upgrade
6 years ago
Bernhard Mueller 653245c0a6
Merge branch 'develop' into z3_upgrade
6 years ago
Nikhil Parasaram 062a07c2c7
Use symbolic storage for concrete=False (#1039)
6 years ago
Bernhard Mueller 5432309a9e
Merge branch 'develop' into global_timeout
6 years ago
Bernhard Mueller 845a7f3a1c
Merge pull request #1043 from ConsenSys/multiple_calls
6 years ago
Bernhard Mueller 6d9a6f67d9
Merge branch 'develop' into global_timeout
6 years ago
Bernhard Mueller aacf1d04f6
Merge branch 'develop' into multiple_calls
6 years ago
Bernhard Mueller 77bf67bd71 Use newer z3 version
6 years ago
Nikhil Parasaram 2cea270e36
Update mythril/laser/ethereum/state/memory.py
6 years ago
Bernhard Mueller de78d019e3 Norhh suggestion #1
6 years ago
Bernhard Mueller 24da7c56c1
Merge pull request #1041 from ConsenSys/dos_detection
6 years ago
Bernhard Mueller 73500d86b6 Norhh feedback #3
6 years ago
Bernhard Mueller 4d91d803fb Remove unused dependencies
6 years ago
Bernhard Mueller e36be4b69d Refactor multiple_sends module
6 years ago
Bernhard Mueller 57d3b7c96d Implement norhh suggestions #2
6 years ago
Bernhard Mueller 386855ae2f Implement norhh suggestions
6 years ago
Bernhard Mueller fca8dd01fb Merge branch 'develop' into dos_detection
6 years ago
Nikhil Parasaram 2175ee7b1a
update detection capabilities (#1040)
6 years ago
Bernhard Mueller 90fc3a6bf2
Merge pull request #1029 from ConsenSys/dependence
6 years ago
Bernhard Mueller 5bedb338ec Import Dict:
6 years ago
Bernhard Mueller 66ec7de153 Make code nicer:
6 years ago
Bernhard Mueller 28d3f5034b Merge branch 'dos_detection' of github.com:ConsenSys/mythril-classic into dos_detection
6 years ago
Bernhard Mueller 58a8a7b621 Add missing type annotation
6 years ago
Bernhard Mueller c305b8fbf6
Merge branch 'develop' into dos_detection
6 years ago
Bernhard Mueller 2905998561
Merge branch 'develop' into dependence
6 years ago
Bernhard Mueller f255723045 Better annotations check
6 years ago
Bernhard Mueller b6c51e8e17 Add DOS detection module
6 years ago
Bernhard Mueller 441ba16276
Mythril Classic -> Mythril
6 years ago
Bernhard Mueller 9bbb9841fd
Update README.md
6 years ago
Bernhard Mueller fb8968157e
Fix badges (2)
6 years ago
Bernhard Mueller f6dc443aeb
Fix badges
6 years ago
Bernhard Mueller c03ddd4ae0 Modify report text
6 years ago
Bernhard Mueller ad4a5bc25f
Merge branch 'develop' into global_timeout
6 years ago
Bernhard Mueller 2cfa81ba2c Fix typo in commnent
6 years ago
Bernhard Mueller 23478f43ec Add typehints, remove debug statements
6 years ago
Bernhard Mueller 990e84f66a Re-add block_number class variable to environment
6 years ago
Bernhard Mueller 2a6b282eca Check if variable is BitVec before copying annotations
6 years ago
Bernhard Mueller 676e894d0c Resolve conflict with develop
6 years ago
Bernhard Mueller d1d4460605 Add norhh suggestion #2
6 years ago
Bernhard Mueller dce7d9dc7c Add suggestion from norhh
6 years ago
Bernhard Mueller 4ee2270168
Update mythril/analysis/modules/dependence_on_predictable_vars.py
6 years ago
Nikhil Parasaram 70c036cc26 support a for analyze and add more tests
6 years ago
Nikhil Parasaram 46c1b29528 Add more tests for storage slots and execution
6 years ago
Nikhil Parasaram cbe5a656f0 Add more tests and change docs
6 years ago
Dr. Sergey Pogodin c5d59ce623 Another fix of the previous commit
6 years ago
Dr. Sergey Pogodin e24b2bc772 Fix of the previous commit
6 years ago
Dr. Sergey Pogodin 02b902637c Adds Docker pulls shield to README.md...
6 years ago
Nikhil Parasaram 40bd45b271 Merge branch 'refactor/cli' of github.com:ConsenSys/mythril into refactor/cli
6 years ago
Nikhil Parasaram 6c4fe8b291 Add documentation
6 years ago
Nikhil Parasaram c5670221c8
Merge branch 'develop' into refactor/cli
6 years ago