vietlq/smart-contract-audit

Guide to auditing EVM smart contracts using tools

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/