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| | |