vietlq / smart-contract-audit Public

Notifications You must be signed in to change notification settings
Fork 9
Star 22

Guide to auditing EVM smart contracts using tools

22 stars 9 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
reports		reports
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
requirements-manticore.txt		requirements-manticore.txt
requirements-mythril.txt		requirements-mythril.txt

Repository files navigation

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

About

Guide to auditing EVM smart contracts using tools

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

Report repository

Releases

No releases published

Packages

No packages published

Languages

Makefile 100.0%