卡拉卡尔是Starknet智能合约的SIERRA表示的静态分析工具。 特征检测器检测脆弱的开罗代码打印机报告信息污点分析数据流分析框架易于在Scarb项目中运行安装：预编译二进制文件：预编译...