关于Caracal Caracal是一款功能强大的Starknet智能合约静态分析工具,广大安全研究人员或区块链技术人员可以使用该工具来对Starknet智能合约执行静态分析。 功能介绍 1、提供了检...
Amarna:Cairo程序的静态分析
我们正在开源 Amarna,这是我们用于 Cairo 编程语言的新静态分析器和 linter(检查代码风格/错误的小工具)。Cairo 是一种编程语言,为拥有数百万美元资产的多个交易交易所提供支持(例...