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

3178 Commits (40d02c662a14d52e40dc8d2bddd1a489dd574e9b)
 

Author SHA1 Message Date
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
Bernhard Mueller b22f69c6db Remove non-working module
7 years ago
Bernhard Mueller 67063d6331 Refactor
7 years ago
Bernhard Mueller b98350c658 Symbolic analysis
7 years ago
Bernhard Mueller 814e4677ea Some progress on sec. analysis
7 years ago
Bernhard Mueller dfc1adb762 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 05d0758347 Add constraints to solver in suicide module
7 years ago
Bernhard Mueller d1eb20b737
Merge pull request #22 from AgeManning/master
7 years ago
Bernhard Mueller 2ae2551b8f
Fix cmdline examples
7 years ago
Bernhard Mueller 668d4ad39c
Update README.md
7 years ago
Bernhard Mueller ffdf40a8e5
Update README.md
7 years ago
Bernhard Mueller 77130b0ab6
Edit README
7 years ago
Bernhard Mueller b016e0b369
Update README.md
7 years ago
Bernhard Mueller 1a84df981d
Update README.md
7 years ago
Bernhard Mueller 6b7f178183
Update README.md
7 years ago
Bernhard Mueller fb832c5866 Update README
7 years ago
Bernhard Mueller e5ac37efc0 Update setup.py
7 years ago
Bernhard Mueller 47dcc487d6 Remove unneeded file
7 years ago
Bernhard Mueller c11dfd62db Fix wrong argument name
7 years ago
Bernhard Mueller 3be0cc3439 Update setup.py and requirements.txt
7 years ago
Bernhard Mueller 5496ad2f58 Add security analysis modules
7 years ago
Bernhard Mueller d746ab1043 Experimental security tests
7 years ago
Bernhard Mueller 90965288be Security tests
7 years ago
Age 6e82ba7b2b corrected sync-all flag logic
7 years ago
Bernhard Mueller 41ac44f82a Add ops classes
7 years ago