caracal

Caracal Caracal 是一个针对 Starknet 智能合约的 SIERRA 表示的静态分析工具。 功能特点 检测器：检测易受攻击的 Cairo 代码 打印器：报告信息 污点分析 数据流分析框架 易于在 Scarb 项目中运行 安装 预编译二进制文件 预编译的二进制文件可在我们的发布页面获取。如果您使用的是 Cairo 编译器 1.x.x，请使用 v0.1.x 二进制文件；如果您使用的是 Cairo 编译器 2.x.x，请使用 v0.2.x。 从源码构建 您需要安装 Rust 编译器和 Cargo。 从 git 构建： cargo install --git...