Description:
We’ve received a request to test additional static analysis tools (Slither, Echidna, CodeQL) against our contracts. While these tools don’t interact with the chain directly, they may still offer useful insights during development and pre-deployment checks.
We should:
- Test how these tools work against our contracts
- Document any integration issues or setup steps
- Determine if they surface relevant findings
- Consider adding guidance or example configs to docs
Description:
We’ve received a request to test additional static analysis tools (Slither, Echidna, CodeQL) against our contracts. While these tools don’t interact with the chain directly, they may still offer useful insights during development and pre-deployment checks.
We should: