Amarna
LAUNCH PARTNER
Ecosystem Partner
Alchemy Venture
Best-in-Class App
WAGBI Winner
WEB3 30 WINNER
Web3 30 Nominee
Growth Customer
Amplify Winners
Enterprise Customer

Amarna

Amarna

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

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.

User Interface of crypto currency wallet

Use Web3's Most Scalable and Reliable RPC Nodes

Sign up for a free Alchemy Account

User Interface of crypto currency wallet

Web3 Dapps and Developer Tools Related To Amarna

Solidity Developer Tools
A Git Hooks manager to improve git commits with pre- or post-execution of scripts.
Chains
Ethereum
Learn More
EVM Tools
A model of the Ethereum Virtual Machine (EVM) with K semantics.
Chains
Ethereum
Learn More
EVM Tools
Python scripts to format Ethereum block data for extraction transformation and loading jobs.
Chains
Ethereum
Learn More

Best Static Analysis Tools

Discover more web3 applications and developer tools.

Build blockchain magic with Alchemy

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