Security analysis tool for EVM bytecode. Supports smart contracts
OpenZeppelin Contracts is a library for secure 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