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

Merge branch 'master' of github.com:b-mueller/mythril

Browse Source
pull/23/head
Bernhard Mueller 7 years ago
parent 3ef0d2bb40 c004dc612a
commit fd915c89a6
1 changed files with 11 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. 22
      security_checks.md

22
security_checks.md
Unescape View File

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

Write Preview
Loading…
Cancel
Save