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 1ce6fbb588
commit 653dd9ae44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 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. 2
      security_checks.md

2
security_checks.md
Unescape View File

@ -2,7 +2,7 @@
| Issue | Description | Detection | Mythril 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| | | |
|Multiple transfers in a single transaction| | | |
|Integer overflow/underflow| | | |

Write Preview
Loading…
Cancel
Save