Starknet智能合约静态分析器
November 15th, 2023

卡拉卡尔是Starknet智能合约的SIERRA表示的静态分析工具。

特征

  • 检测器检测脆弱的开罗代码

  • 打印机报告信息

  • 污点分析

  • 数据流分析框架

  • 易于在Scarb项目中运行

安装:

预编译二进制文件:

预编译的二进制文件可以在我们的发布页面上找到。如果您使用Cairo编译器,则1.x.x使用二进制v0.1.x,否则,如果您使用Cairo编译器,则2.x.x使用v0.2.x。

从源生成

你需要Rust编译器和Cargo。 从git构建:

Subscribe to ACGDAO
Receive the latest updates directly to your inbox.
Mint this entry as an NFT to add it to your collection.
Verification
This entry has been permanently stored onchain and signed by its creator.
More from ACGDAO

Skeleton

Skeleton

Skeleton