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