Security · 06 / 08
Testing
Every change runs unit, fuzz and invariant tests, Slither and Aderyn static analysis, Halmos symbolic checks and a full local deployment rehearsal that must reject misconfigured deployments. Mythril runs weekly.
- Tests
- Foundry unit, fuzz and invariant
- Static analysis
- Slither, Aderyn
- Symbolic checks
- Halmos, Mythril
- Deployment rehearsal
- Local chain, in CI