Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
... are optimized for usability and cover a wider range of security issues. The SWC Registry is a community catalog of known smart contract vulnerabilities with detailed descriptions, code samples, and remediations. MythX uses the SWC Registry as its database when scanning smart contracts for security issues.