From b78f4a9f8f5e2cfaa0effbde5f274994e94790cb Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 10 Nov 2017 22:39:31 +0700 Subject: [PATCH] Update security_checks.md --- security_checks.md | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/security_checks.md b/security_checks.md index 9e0a6b05..534305cb 100644 --- a/security_checks.md +++ b/security_checks.md @@ -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| | |