Dapp StoreStarknetSolidity ToolsStatic Analysis Tools
Static Analysis Tools


Amarna is a static analysis tool and linter for the Cairo programming language.

Starknet Logo

What is Amarna?

Developed by Crytic, the blockchain arm of Trail Of Bits, Amarna is a static analyzer for Cairo. Used by applications such as dYdX, Cairo is a language used to write "provable programs". Amarna allows developers to search for custom code patterns as well as a built-in set of vulnerability flags and supports the creation of local and global rules for analysis. Notably, Amarna can directly parse StarkNet contracts, and export analysis results to VSCode in the SARIF format.

Use web3's most scalable and reliable RPC nodes
Get your API key
Is this your project?
Request edits

Best Static Analysis Tools

Discover more web3 applications and developer tools.

See all dapps
Section background image

Build blockchain magic

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.

Get your API key