trailofbits-cairo-vulnerability-scanner
Trail of Bits skill scanning Cairo/StarkNet contracts for 6 critical vulnerabilities.
🛡️ AgentReady threat assessment
MAESTRO 7-layer threat model + OWASP AIVSS risk score for trailofbits-cairo-vulnerability-scanner, derived from its capabilities.
AIVSS 6.1 · Medium
View MAESTRO 7-layer threat model →Overview
Security skill that scans Cairo/StarkNet smart contracts for felt252 arithmetic overflow, L1-L2 messaging issues, address-conversion problems, and signature replay. Analyzes Cairo source; part of building-secure-contracts.
Key features
- Cairo/StarkNet vulnerability scan
- felt252 overflow detection
- L1-L2 messaging and replay checks
Use cases
- Auditing StarkNet contracts
- Cairo security review