OpenZeppelin Contracts is a library for secure smart contracts
Security analysis tool for EVM bytecode. Supports smart contracts
Curated list of awesome resources related to the Ⱥlgorand Blockchain
Visualize Solidity control flow for smart contract security analysis
(Formerly Solium) Code quality & Security Linter for Solidity