Smart contract security tools are critical in assisting smart contract developers and auditors with showcasing (potentially) exploitable vulnerabilities, highlighting dangerous programming styles or surfacing common patterns of misuse.
None of these however replace the need for manual review/validation to evaluate contract-specific business logic and other complex control-flow, data-flow & value-flow aspects.
- Assist Developers & Auditors
- Potential Vulnerabilities
- Common Pitfalls
- Best Practices
- Complement Manual Analysis