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

4430 Commits (origin_model)
 

Author SHA1 Message Date
Nikhil 00bf44d00d Use Constraint()'s weight
5 years ago
Joran Honig 172394184d immediately return value
5 years ago
JoranHonig 5063b6882c
Merge pull request #1224 from ConsenSys/edelweiss/2.0
5 years ago
JoranHonig 12eb0c29f7
Merge branch 'develop' into edelweiss/2.0
5 years ago
Aleksandr Sobolev 1ae2cf0355
Inject env variable into Edelweiss
5 years ago
Nikhil 759c778f3a Fix type hints
5 years ago
Nikhil ae8f9c099d Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil 7e84ead7dc Add type hints and remove redundant storing
5 years ago
Bernhard Mueller 67adaeac5e
Merge branch 'develop' into storage/UIP
5 years ago
e-ngo 57068484c6 Changed instructions out-of-bounds behavior to return halt instruction. (#1223)
5 years ago
Nikhil 90950756d3 Handle few edge cases
5 years ago
Nikhil ceeedcf461 Merge branch 'storage/UIP' of github.com:ConsenSys/mythril into storage/UIP
5 years ago
Nikhil c5b8ae87b2 Push concolic Node changes
5 years ago
Martin Derka 75838e3a8d Added support for solidity 0.5.x (#1219)
5 years ago
Nikhil Parasaram 519ef9af23
Merge branch 'develop' into storage/UIP
5 years ago
Nikhil Parasaram 90f2de8555
Fix typehints for latest mypy release (#1221)
5 years ago
Nikhil 433b391557 Refactor code
5 years ago
Nikhil 9325abac44 Remove unused variables
5 years ago
Nikhil 39f426f043 constrain concrete hash conditions
5 years ago
Nikhil ffbd191dd1 remove py35 support
5 years ago
Nikhil Parasaram 028fae6ff1
Mythril v0.21.17
5 years ago
Nikhil 103d9588c8 Fix create tests
5 years ago
Nikhil aee3e7b0ff Fix tests
5 years ago
Nikhil 9d9da324be Fix type errors
5 years ago
Nikhil 375d738f3a Fix merge conflict
5 years ago
Nikhil Parasaram d8bf5021c7
Add the return condition (#1216)
5 years ago
Nikhil ef587eff31 Make dschief work
5 years ago
Nathan 638f9369b9
Merge pull request #1213 from ConsenSys/harvey_style_assertions
5 years ago
Nathan b0ee14d281
Merge branch 'develop' into harvey_style_assertions
5 years ago
Nathan 517899c911
Merge pull request #1186 from ConsenSys/pending-opcodes
5 years ago
Nathan 4aba7ebfb7
Merge branch 'develop' into pending-opcodes
5 years ago
Nathan bd8c3f8cd4 Minor improvements to user_assertions.py
5 years ago
Nathan cb307f0d94 Check delegatecall after execution finishes (#1215)
5 years ago
Nikhil 0af62acd90 Make some changes to make storage work for pseudo input
5 years ago
Nathan 2a34a5d712
Remove unused variables
5 years ago
Nikhil b837fb7a39 Fix some errors
5 years ago
Nathan b2bbe2568a Remove unused import
5 years ago
Nathan 4485662126 Remove unused variables
5 years ago
Nathan 3cab4beb76 Minor improvements to user_assertions.py
5 years ago
Nikhil da02e90a73 Fix concretisation for longer inputs
5 years ago
Eric N e47c35ee15 Fixed mypy.
5 years ago
Eric N 581c8d7b01 Refactor code
5 years ago
Eric N 72db1237fb Fixed issue with staticcall.
5 years ago
Eric N 079b8a70da Ran black. TODO: Fix issue with storage.
5 years ago
Eric N 126fc26da6 Cleaned up some logic. Fixed issue with VMException and freezing on staticcall.
5 years ago
Eric N 8504eeac4e Merge branch 'develop' of https://github.com/ConsenSys/mythril into pending-opcodes
5 years ago
Nathan f781ce3604 Add user supplied assertions module to documentation
5 years ago
Nathan 8571d301d2 Implement user supplied assertion module
5 years ago
Nikhil Parasaram 5f424b62d9
Only propagate code based call annotations (#1211)
5 years ago
Eric N bc0f677e87 Cleaned up code. Add create test.
5 years ago