Guide to auditing EVM smart contracts using tools Static analysis Mythril Manticore K-EVM IDEA Solgraph SmartCheck Porosity Flint Oyente Securify.ch Remix Test coverage solidity-coverage Linters Solium Solcheck Solint Solhint References https://consensys.github.io/smart-contract-best-practices/ https://consensys.github.io/smart-contract-best-practices/security_tools/