https://github.com/vietlq/smart-contract-audit
Guide to auditing EVM smart contracts using tools
https://github.com/vietlq/smart-contract-audit
cve-scanning ethereum evm security security-audit smart-contracts
Last synced: 5 months ago
JSON representation
Guide to auditing EVM smart contracts using tools
- Host: GitHub
- URL: https://github.com/vietlq/smart-contract-audit
- Owner: vietlq
- Created: 2018-05-07T07:35:55.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2022-12-08T02:10:55.000Z (over 3 years ago)
- Last Synced: 2023-03-10T23:52:05.973Z (over 3 years ago)
- Topics: cve-scanning, ethereum, evm, security, security-audit, smart-contracts
- Language: Makefile
- Size: 16.6 KB
- Stars: 19
- Watchers: 4
- Forks: 7
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
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/