Scans StarkNet Cairo code for 6 critical vulnerabilities: felt252 arithmetic overflow, L1-L2 messaging, address conversion, signature replay, and related gotchas specific to the Cairo language.
Best for: StarkNet developers and auditors reviewing Cairo contracts before mainnet deployment.
Creator's repository · trailofbits/skills
License: CC-BY-SA-4.0