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

4093 Commits (harvey_style_assertions)
 

Author SHA1 Message Date
Bernhard Mueller 60cd332739 Update setup.py and requirements
7 years ago
Bernhard Mueller bbe5aff130 Add a couple of signature for blog article
7 years ago
Bernhard Mueller 7cd2ef7aac Dynamic loader fix for testrpc
7 years ago
Bernhard Mueller ebff3ca131 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller a72e6a2602 Update setup.py
7 years ago
Bernhard Mueller c1b813f9ae
Fix typo
7 years ago
Bernhard Mueller b21ecedf16
Update README.md
7 years ago
Bernhard Mueller c485f61afe Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 995dcbf39a Update README
7 years ago
Bernhard Mueller c52c332eec
Update security_checks.md
7 years ago
Bernhard Mueller 85eaf2b86a Add tx.origin check
7 years ago
Bernhard Mueller 5784a0b54c
Update security_checks.md
7 years ago
Bernhard Mueller ceb6c0760f
Update security_checks.md
7 years ago
Bernhard Mueller d66c4af621 Update setup.py
7 years ago
Bernhard Mueller 060989b236 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller e3e3e6555d Update security tests
7 years ago
Bernhard Mueller 2849cca43c
Update security_checks.md
7 years ago
Bernhard Mueller c4dcb7a94c Update setup.py
7 years ago
Bernhard Mueller feb8bcfe5c Fix some issues in ether_send module
7 years ago
Bernhard Mueller d7aac850a4 Filter for common false positives
7 years ago
Bernhard Mueller 53a01679f9 Update report structure
7 years ago
Bernhard Mueller 7b3c152844 Improve reporting
7 years ago
Bernhard Mueller 2a8dd80c97 Implement a nicer way of execution modules
7 years ago
Bernhard Mueller 859a702900 Remove unneeded file
7 years ago
Bernhard Mueller 2f99cfd45a Update call_to_dynamic_with_gas.py
7 years ago
Bernhard Mueller 8fd6fbd4b4 Fix detection of 2300 gas in call
7 years ago
Bernhard Mueller d02ecc4cdf
Update security_checks.md
7 years ago
Bernhard Mueller d26d97354b
Update security_checks.md
7 years ago
Bernhard Mueller 8ef788cf51 Update setup.py
7 years ago
Bernhard Mueller 43b52f70df Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 9af77a6262 Remove unused module
7 years ago
Bernhard Mueller 7282624285
Update security_checks.md
7 years ago
Bernhard Mueller 433c880512
Update security_checks.md
7 years ago
Bernhard Mueller 55e09796bc Fix intendation in delegatecall_dynamic
7 years ago
Bernhard Mueller 1016af10d7 Update security tests
7 years ago
Bernhard Mueller fa8b43e421 Update security tests
7 years ago
Bernhard Mueller f40dd0d187 Add 'send with gas' module
7 years ago
Bernhard Mueller aa90c6c0f0 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 1db64fefb0 Improve security tests
7 years ago
Bernhard Mueller 928868ec66
Update security_checks.md
7 years ago
Bernhard Mueller 98cab31c6c
Update security_checks.md
7 years ago
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