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

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

• 打印机报告信息

• 污点分析

• 数据流分析框架

• 易于在Scarb项目中运行

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

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

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

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

• 打印机报告信息

• 污点分析

• 数据流分析框架

• 易于在Scarb项目中运行

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

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