Skip to content
Amarna: Static analysis for Cairo programs
blog.trailofbits.com | blog | #static-analysis | #blockchain | #zero-knowledge-proofs | #amarna | #cairo | #starknet
Summary
Trail of Bits open-sourced Amarna, a static analyzer and linter for Cairo, the language behind StarkNet, targeting pitfalls like unconstrained structures and nondeterministic jumps.
- Published
- Collected