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

702 Commits (d7ce75854890bd9e812b7ab8544583157c100d1e)
 

Author SHA1 Message Date
Bernhard Mueller a294dd21f9 Add integer underflow check
7 years ago
Bernhard Mueller fa27fc1e98 Fix syntax error in unchecked_retval.py
7 years ago
Bernhard Mueller c8e8ade09c Update setup.py and requirements
7 years ago
Bernhard Mueller 9a21e30eba Improve issue description
7 years ago
Bernhard Mueller f89b0f8b5c Add unchecked_retval test:
7 years ago
Bernhard Mueller 32da74bd99 Merge branch 'master' into experimental
7 years ago
Bernhard Mueller 8536d2da0e Fix incorrect parenthesis
7 years ago
Bernhard Mueller 94fd2c6227 Active unchecked_retval module
7 years ago
Bernhard Mueller fd83764dd1 Remove unnecessary file
7 years ago
Bernhard Mueller b2a98af911 Improve exception handling for RPC and IPC errors
7 years ago
Bernhard Mueller 88ce0e31b2 Update setup.py
7 years ago
Bernhard Mueller 4b383362de search parser update
7 years ago
Bernhard Mueller 81da276a4f Fix search expressions
7 years ago
Bernhard Mueller da93071cd3
Merge pull request #23 from scvsh/master
7 years ago
Arseni Zemskow d95f2c0473 Add NOT logical statement to tha match method of the ETHContract class
7 years ago
Bernhard Mueller 390f911fa9
Fix ToC formatting
7 years ago
Bernhard Mueller 1243a1c9e4
Update README.md
7 years ago
Bernhard Mueller 7f041edeb4
Update README.md
7 years ago
Bernhard Mueller fd915c89a6 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 3ef0d2bb40 Add cmdline utility for reading storage
7 years ago
Bernhard Mueller 91741e1ca8 Add cmdline utility for reading storage
7 years ago
Bernhard Mueller c004dc612a
Fix table formatting
7 years ago
Bernhard Mueller b78f4a9f8f
Update security_checks.md
7 years ago
Bernhard Mueller 48b98ca267 Update setup.py and requirements
7 years ago
Bernhard Mueller 4f4c4525fb Fix constraint bug in security tests
7 years ago
Bernhard Mueller 12333e46fa Update setup.py
7 years ago
Bernhard Mueller bb7abde11c Improve analysis modules
7 years ago
Bernhard Mueller 3ed01bf77a Update setup.py and requirements
7 years ago
Bernhard Mueller 3d2401f516 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 247648df7a Add solver timeout
7 years ago
Bernhard Mueller cd5aafa408
Update ether_send.py
7 years ago
Bernhard Mueller 49dfc2444f
Update unchecked_suicide.py
7 years ago
Bernhard Mueller 9d43910499
Update README.md
7 years ago
Bernhard Mueller 653dd9ae44
Update security_checks.md
7 years ago
Bernhard Mueller 1ce6fbb588 Update security checks
7 years ago
Bernhard Mueller 64b8d2fb78
Create security_checks.md
7 years ago
Bernhard Mueller 336b0d54ee
Update README.md
7 years ago
Bernhard Mueller da0be355d4
Update ToC
7 years ago
Bernhard Mueller 3257480057
Update README.md
7 years ago
Bernhard Mueller e4f750c315
Update README.md
7 years ago
Bernhard Mueller 2f8c5e4348 Remove logging code
7 years ago
Bernhard Mueller 338b954c19 Refactor
7 years ago
Bernhard Mueller 2c6ead6f5a Update setup.py
7 years ago
Bernhard Mueller bc937c20a9 Update examples
7 years ago
Bernhard Mueller 38d6a2f95d Add 'suicide' test module
7 years ago
Bernhard Mueller 3b91d912bf LASER version bump and small fixes
7 years ago
Bernhard Mueller d6455d330d Update setup.py & requirements
7 years ago
Bernhard Mueller 6ee991d180 Improve security tests
7 years ago
Bernhard Mueller 418c42ce22 Update security tests
7 years ago
Bernhard Mueller 9dd695e91d Update SUICIDE module
7 years ago