smart-contract-audit

Makefile

Guide to auditing EVM smart contracts using tools

Last updated Jan 21, 2024

22

Stars

6

Forks

7

Issues

0

Stars/day

Attention Score

12

View on GitHub ↗ Open in github.dev

Topics

#cve-scanning #ethereum #evm #security #security-audit #smart-contracts

Language breakdown

Makefile 100.0%

▸ Files click to expand

README

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/

🔗 More in this category