Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
security analysis tool
|
| gptkbp:analyzes |
Solidity code
|
| gptkbp:detects |
denial of service
integer overflows DoS with block basefee DoS with block chainid DoS with block coinbase DoS with block difficulty DoS with block extra data DoS with block gas limit DoS with block hash DoS with block logs bloom DoS with block miner DoS with block mixhash DoS with block nonce DoS with block number DoS with block parent hash DoS with block prevrandao DoS with block receipts root DoS with block sha3 uncles DoS with block state root DoS with block timestamp DoS with block transactions root DoS with block unclehash DoS with blockhash DoS with call DoS with callcode DoS with delegatecall DoS with external contract DoS with failed call DoS with fallback function DoS with gas limit DoS with revert DoS with selfdestruct DoS with send DoS with storage pointer DoS with suicide DoS with transfer DoS with unbounded operation access control issues arithmetic bugs reentrancy vulnerabilities timestamp dependence tx.origin authentication unchecked call return values uninitialized storage pointers unprotected delegatecall unprotected selfdestruct |
| gptkbp:focusesOn |
Ethereum smart contracts
|
| https://www.w3.org/2000/01/rdf-schema#label |
MythX
|
| gptkbp:integratesWith |
gptkb:cryptocurrency
gptkb:Mythril Remix IDE |
| gptkbp:offers |
API access
|
| gptkbp:provides |
automated vulnerability detection
|
| gptkbp:bfsParent |
gptkb:Consensys_Diligence
|
| gptkbp:bfsLayer |
6
|