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: 1f783792b2
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '1f783792b2'
${ noResults }
Commit Graph

4258 Commits (1f783792b257b435bb67d02c3f8c867ffe5533af)
 

Author SHA1 Message Date
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
Eric N a9755b8c67 Modified codecopy. Debugging issue with contract function calls.
5 years ago
Nikhil 28499ac8de Finish concretisation
5 years ago
Nikhil 6b10d9809b Save status
5 years ago
Nathan 612fc4df34
Merge branch 'develop' into pending-opcodes
5 years ago
Nathan b265254055
Merge pull request #1205 from ConsenSys/fix/constraints-after-issues
5 years ago
Nathan 52d5afe0b6
Merge branch 'develop' into fix/constraints-after-issues
5 years ago
Nathan 3ab99c963c
Merge pull request #1105 from ConsenSys/analyze-with-mythx
5 years ago
Eric N 3eaf917b22 Fixing CCT logic. Fixes CREATE with symbolic constructor arguments, but not Concrete.
5 years ago
Nathan 4342785c5d Fix missed _cache and _issue names
5 years ago
Nathan cc42cccf08
Merge branch 'develop' into analyze-with-mythx
5 years ago
Nathan e6963632df Merge branch 'fix/constraints-after-issues' of github.com:ConsenSys/mythril-classic into fix/constraints-after-issues
5 years ago
Nathan 6456c86a6c Make _cache and _issues public
5 years ago
Nathan ba8cb741ca Add variables for trial credentials
5 years ago
Nathan 389a2cc810 Add trial mode messaging
5 years ago
Nikhil c7d819b488 Remove constraints
5 years ago
Eric N 7483bc80fd Refactored code.
5 years ago
Eric N c6ba4e7e6c Merge branch 'develop' of https://github.com/ConsenSys/mythril into pending-opcodes
5 years ago
Nikhil Parasaram 988879e632
Mythril version 0.21.16 release
5 years ago
Eric N c22aeb6abf Merge develop
5 years ago
Eric N 3dced43216 Syntax errors
5 years ago
Eric N 3c3153e242 Cleaned up stupid logic. Add gas calculation to create2.
5 years ago
Nathan a310b03611
Merge branch 'develop' into fix/constraints-after-issues
5 years ago