CodeHawks
Home
Search
⌃
K
Links
👋
Intro to Codehawks
✏
Glossary
⁉
FAQs
🤝
Referrals program
👩💻
Protocol teams (sponsors)
Requesting an audit
The Ecosystem
The Auditing process
Preparing for an audit
Audit pricing and timelines
Competitive vs Private Auditings
🛡
Hawks (auditors)
Quick Start
What is an Auditing Competition?
The Kick-Off Period
How to Write and Submit a Finding
How to Write a PoC
How to Determine a Finding Validity
How to Evaluate a Finding Severity
Payouts
How Does XP Work?
👩⚖
Judging
The Judging Process
Disqualification Criteria
Appeals
🦅
First Flights
💡
Philosophy and Mission
🛠
Tools
📚
Learning and resources
Twitter
Discord
Cyfrin
Request an audit
Powered By
GitBook
Comment on page
🛠
Tools
Auditor Tools
These are auditor tools that you can use to help you audit smart contracts.
Solodit
<- (Use this once you start doing competitive audits!)
Static Analysis
Slither
4naly3er
Symbolic Execution / Formal Verification Tools
Note: At the moment, formal verification is sometimes seen as overkill, especially for competitive audits.
Manticore
Mythril
Halmos
Solidity Compiler
hevm
EthBMC
KEVM
Certora
Previous
Philosophy and Mission
Next
Learning and resources
Last modified
2mo ago