Amarna翻译站点

Amarna 由 Trail Of Bits 的区块链分支 Crytic 开发，是 Cairo 的静态分析器。由 dYdX 等应用程序使用，Cairo 是一种用于编写“可证明程序”的语言。Amarna 允许开发人员搜索自定义代码模式以及一组内置的漏洞标志，并支持创建本地和全局规则进行分析。值得注意的是，Amarna 可以直接解析 StarkNet 合约，并将分析结果以 SARIF 格式导出到 VSCode。