Amarna
Amarna is a static analysis tool and linter for the Cairo programming language.
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.
Web3 dapps and developer tools related to Amarna
Discover blockchain applications that are frequently used with Amarna.
Solidcheck
Superchain Dev Console
RubyScore
Loop Decoder
Developer resources from Alchemy
The 6 best Solidity IDEs for developers (2026)
Explore the best IDEs for Solidity development.
ERC-1271 signature replay vulnerability
On October 27th 2023, Alchemy discovered a ERC1271 contract signature replay vulnerability that affected a large number of smart contract accounts (SCA), and led to risks when interacting with several applications.
How Slash built stablecoin banking with smart wallets
How Slash uses smart wallets to power gasless stablecoin banking for 3,000+ businesses globally
Amarna alternatives
Explore web3 competitors and apps like Amarna.
Solhint for IntelliJ
Solhint
Solhint-Prettier Plugin
PRBTestApp store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.
