smart-contract-audit icon indicating copy to clipboard operation
smart-contract-audit copied to clipboard

Published 20 hours ago • verified publisher icon vietlq
→

Metadata

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/

← Metadata

22
Stars
9
Forks
Watchers

Owner

verified publisher icon vietlq

Metadata

Guide to auditing EVM smart contracts using tools

Back