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

16 lines
960 B

# 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| | | |
|Integer overflow/underflow| | |
|Type confusion| | |
|Predictable RNG| | |
|Transaction order dependence| | | |
|Timestamp dependence| | |
|Information exposure| | |
|Call depth attack| | |