Caracal：一款功能强大的Starknet智能合约静态分析工具

关于Caracal

功能介绍

1、提供了检测工具，支持检测存在安全漏洞的Cairo代码；

2、提供了输出打印工具，支持输出和报告检测到的信息；

3、支持进行污染分析；

4、数据流分析框架；

5、支持在Scarb项目中轻松使用和运行；

工具安装

预编译源码

源码构建

	


cargo install --git https://github.com/crytic/caracal --profile release --force

(向右滑动，查看更多)

除此之外，我们还可以使用下列命令将该项目源码克隆至本地：


	


git clone https://github.com/crytic/caracal


(向右滑动，查看更多)

然后切换到项目目录中，执行下列命令完成项目代码构建：


	

	


cd caracalcargo install --path . --profile release --force


(向右滑动，查看更多)

 工具使用 



查看检测工具：


	


caracal detectors



查看输出打印工具：


	


caracal printers





独立文件使用

如需使用独立的Cario文件，你需要有一个本地Cairo编译器代码。下列命令可以运行检测工具：






caracal detect path/file/to/analyzecaracal detect path/file/to/analyze --corelib path/to/corelib/src


(向右滑动，查看更多)



运行打印输出工具：


	


caracal print path/file/to/analyze --printer printer_to_use --corelib path/to/corelib/src

(向右滑动，查看更多)

Cairo项目



如果的Cairo项目中有多个文件跟合约，你可能需要使用--contract-path来指定目标合约。下列命令可以运行检测工具：






caracal detect path/to/dircaracal detect path/to/dir --contract-path token::myerc20::... token::myerc721::...

(向右滑动，查看更多)



运行打印输出工具：


	


caracal print path/to/dir --printer printer_to_use


(向右滑动，查看更多)

Scarb



如果你的项目使用了Scarb，你则需要将下列内容添加到Scarb.toml中：


	

	

	

	


[[target.starknet-contract]]sierra = true[cairo]sierra-replace-ids = true



然后将Scarb.toml文件所在目录的路径在运行检测工具时使用参数传递给Caracal：


	


caracal detect path/to/dir





运行打印输出工具：


	


caracal print path/to/dir --printer printer_to_use


(向右滑动，查看更多)



 检测工具 




编号


检测器


影响


Cairo版本




1


controlled-library-call


高


1 & 2




2


unchecked-l1-handler-from


高


1 & 2




3


felt252-unsafe-arithmetic


中


1 & 2




4


reentrancy


中


1 & 2




5


read-only-reentrancy


中


1 & 2




6


unused-events


中


1 & 2




7


unused-return


中


1 & 2




8


unenforced-view


中


1




9


unused-arguments


低


1 & 2




10


reentrancy-benign


低


1 & 2




11


reentrancy-events


低


1 & 2




12


dead-code


低


1 & 2




13


array-use-after-pop-front


低


1 & 2







其中的Cario版本列表示检测器支持的Cario编译器版本。



 输出打印工具 

cfg：将每一个函数的CFG导出至一个.dot文件中；
callgraph：将函数调用图导出至一个.dot文件中；




 许可证协议 



本项目的开发与发布遵循AGPL-3.0开源许可证协议。



 项目地址 



Caracal：https://github.com/crytic/caracal



原文始发于微信公众号（FreeBuf）：Caracal：一款功能强大的Starknet智能合约静态分析工具