Commit Graph

577 Commits (64c5656dc3ab1f2e5046fa28a0856dfb2c37419f)
 

Author SHA1 Message Date
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
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