Amarna

Amarna is a powerful static analysis and code linting tool designed specifically for the Cairo programming language.

Crafted by Crytic, the blockchain division of Trail Of Bits, Amarna serves as a static analysis tool for Cairo, a language that enables the development of 'provable codes' utilized by major applications like dYdX. With Amarna, developers can identify custom code patterns and built-in vulnerability flags while having the flexibility to establish both local and global analysis rules. A standout feature of Amarna is its ability to directly parse StarkNet contracts and export analysis results in the SARIF format, making it seamlessly compatible with VSCode. Enhance your code quality with Amarna’s comprehensive suite of tools tailored for the Cairo programming environment.