Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
mythril/security_checks.md

18 lines
1.2 KiB

# Smart Contract Security Issues
| 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| | | |
|Function call to untrusted contract| | | |
|Delegatecall or callcode to untrusted contract| | | |
|Integer overflow/underflow| | [integer_underflow](mythril/analysis/modules/integer_underflow.py) |
|Type confusion| | |
|Predictable RNG| | |
|Transaction order dependence| | | |
|Timestamp dependence| | |
|Information exposure| | |
|Call depth attack| | |