卡拉卡尔是Starknet智能合约的SIERRA表示的静态分析工具。
检测器检测脆弱的开罗代码
打印机报告信息
污点分析
数据流分析框架
易于在Scarb项目中运行
预编译的二进制文件可以在我们的发布页面上找到。如果您使用Cairo编译器,则1.x.x使用二进制v0.1.x,否则,如果您使用Cairo编译器,则2.x.x使用v0.2.x。
你需要Rust编译器和Cargo。 从git构建: