Amarna
Static Analysis Tools
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.
Web3 dapps and developer tools related to Amarna
Discover blockchain applications that are frequently used with Amarna.
Husky for Git HooksSolidity Developer Tools
A Git Hooks manager to improve git commits with pre- or post-execution of scripts.
KEVMEVM Tools
A model of the Ethereum Virtual Machine (EVM) with K semantics.
Ethereum ETLEVM Tools
Python scripts to format Ethereum block data for extraction transformation and loading jobs.
Resources and Guides about Static Analysis Tools
Amarna Alternatives
Explore web3 competitors and apps like Amarna.
RattleStatic Analysis Tools
Rattle is a EVM static analysis framework designed to work on deployed smart contracts.
SolhintStatic Analysis Tools
Open-source, configurable Solidity linter for syntax-related vulnerabilities built by Protofire.
EthlintStatic Analysis Tools
Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them.
