Cairo Vulnerability Scanner
86/100
@trailofbitsScans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.
Reviewed on v2026-05-16 - latest is v0.3.1. Scores may not reflect the current version.
Review Scores
Security33/35
Maintain.29/35
Usability24/30
Evidence:
high
Reviewed May 27, 2026Drifted
Reviewed Version
2026-05-16
Latest Version
0.3.1(drift)
Freshness
Reviewed on 2026-05-16; latest is 0.3.1.
Scores reflect the version reviewed and may change with updates.
Security Audit - No Flags Reported
Audited May 27, 2026Source is the public Trail of Bits skills repository. Curated entry preserves original SKILL.md content and avoids automatic tool execution during install.
Overview
When to Use
When NOT to Use
Setup
npx cldkit install cairo-vulnerability-scannerTroubleshooting
More by Trail of Bits
- Agentic Actions AuditorSkill90/100
- C/C++ Security ReviewSkill90/100
- Static Analysis SkillSkill90/100
- Constant Time AnalysisSkill90/100