Detects vulnerabilities in Solidity contracts - Focus on [S] level vulnerabilities (High Severity) - Detected vulnerabilities: tx.origin, selfdestruct, suicide