Dapp storeStarknetSolidity toolsStatic analysis tools
Amarna
Amarna
Static analysis tools

Amarna

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

Starknet Logo
BNB Chain Logo
Open-source
This link will take you to a third-party site not owned or operated by Alchemy.

What is Amarna?

Amarna is a static analyzer and linter for the Cairo programming language, developed by Crytic, the blockchain security arm of Trail of Bits. 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. Note: Amarna was archived by its maintainers in February 2025 and is no longer actively developed. The maintainers recommend caracal as a replacement.

Use web3's most scalable and reliable RPC nodes
Get your API key

Best Static analysis tools

Discover more web3 applications and developer tools.

See all dapps

Developer resources from Alchemy

Dapp store 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