Amarna
Created by Crytic, the blockchain division of Trail Of Bits, Amarna serves as a static analyzer for Cairo. Utilized by platforms like dYdX, Cairo is a programming language designed for creating “provable programs.” Amarna enables developers to look for unique code patterns, along with a pre-defined collection of vulnerability indicators, and facilitates the development of both local and global rules for evaluation. Significantly, Amarna is capable of directly interpreting StarkNet contracts and can export analysis outcomes to VSCode in the SARIF format.
