Amarna

Amarna is a static analyzer for Cairo, the language used to write provable programs and adopted by applications like dYdX.

It enables developers to search for custom code patterns, leverage a built-in set of vulnerability flags, and create local and global rules to tailor analyses.