Amarna, created by Crytic, the blockchain division of Trail Of Bits, is a powerful static analyzer designed specifically for Cairo. Cairo is a programming language widely adopted by applications like dYdX for developing “provable programs”.

With Amarna, developers gain the ability to effortlessly search for custom code patterns and leverage a comprehensive set of vulnerability flags. It also offers support for creating both local and global rules for analysis, providing flexibility and customization options.

One of Amarna’s standout features is its direct parsing capability for StarkNet contracts. Additionally, it allows users to export analysis results to VSCode in the SARIF format, enabling seamless integration with existing development workflows.