Amarna
Static Analysis Tools
Amarna
Amarna is a static analysis tool and linter for the Cairo programming language.
This link will take you to a third-party site not owned or operated by Alchemy.
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
Web3 dapps and developer tools related to Amarna
Discover blockchain applications that are frequently used with Amarna.
ToolbloxSolidity Developer Tools
Build truly custom, purpose-built audited smart-contracts quickly to tokenize assets and services.
+2
SolvmEVM Tools
A stripped-down EVM implemented using Yul & Solidity.
Solidity Visual Auditor Solidity Developer Tools
A VS Code extension that helps with writing security-conscious Solidity code.
Resources and Guides about Static Analysis Tools
Amarna Alternatives
Explore web3 competitors and apps like Amarna.
Solhint for IntelliJStatic Analysis Tools
Solhint for IntelliJ is a Solhint plugin for the IntelliJ javascript IDE.
Solhint-Prettier PluginStatic Analysis Tools
Lint your files according to the Solidity plugin for Prettier, a code formatter.
RattleStatic Analysis Tools
Rattle is a EVM static analysis framework designed to work on deployed smart contracts.
Build blockchain magic
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.
Get your API key