---
id: 1775
title: "Amarna: Static analysis for Cairo programs"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/"
published_at: "2022-04-20T11:00:04Z"
tags: ["static-analysis", "blockchain", "zero-knowledge-proofs", "amarna", "cairo", "starknet"]
phying_url: "https://phying.com/item/1775"
lang: en
---

# Amarna: Static analysis for Cairo programs

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-04-20T11:00:04Z
- **Original:** https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/
- **Phying News:** https://phying.com/item/1775