TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update security_checks.md

Browse Source
pull/23/head
Bernhard Mueller 7 years ago committed by GitHub
parent 48b98ca267
commit b78f4a9f8f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 11 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 23
      security_checks.md

23
security_checks.md
Unescape View File

@ -1,15 +1,16 @@
# Smart Contract Security Issues
| Issue | Description | Detection | Mythril Module(s) |
|------:|-------------|-----------|-----------|
|Unprotected functions| | | [unchecked_suicide](mythril/analysis/modules/unchecked_suicide.py), [ether_send](mythril/analysis/modules/ether_send.py) |
|Re-entrancy| | | |
| Issue | Description | Mythril Detection Module(s) |
|------:|-------------|------------|
|Unprotected functions| | [unchecked_suicide](mythril/analysis/modules/unchecked_suicide.py), [ether_send](mythril/analysis/modules/ether_send.py) |
|Missing check on CALL return value| | [unchecked_retval](mythril/analysis/modules/unchecked_retval.py)
|Re-entrancy| | |
|Multiple transfers in a single transaction| | | |
|Integer overflow/underflow| | | |
|Type confusion| | | |
|Predictable RNG| | | |
|Integer overflow/underflow| | |
|Type confusion| | |
|Predictable RNG| | |
|Transaction order dependence| | | |
|Timestamp dependence| | | |
|Information exposure| | | |
|Missing check on CALL return value| | |
|Call depth attack| | | |
|Timestamp dependence| | |
|Information exposure| | |
|Call depth attack| | |

Write Preview
Loading…
Cancel
Save