FuzzingLabs/cairo-fuzzer

# Cairo-Fuzzer -- Cairo 智能合约模糊测试工具 发布版本 1.2 由 [@FuzzingLabs](https://github.com/FuzzingLabs) 开发并维护 ## 描述： Cairo-fuzzer 是一款专为智能合约开发者设计的用于测试安全性的工具。它既可以作为独立工具使用，也可以作为库使用。 ## 功能：

- 运行 Starknet 合约 - 模糊测试语料库重放器 - 模糊测试语料库最小化器 - 加载旧语料库 - 处理多个参数 - 工作区架构 - 导入字典 - 将 Cairo-fuzzer 作为库使用 ## 用法： ``` cargo run --release -- --cores 10 --contract ./tests1.0/fuzzinglabs.json --casm ./tests1.0/fuzzinglabs.casm --function "Fuzz_symbolic_execution" ``` 欲了解更多用法信息，请遵循我们的[教程](docs/TUTO101.md) ## 命令行 (--help)： ``` Usage: cairo-fuzzer [OPTIONS] Options: --cores Set the number of threads to run [default: 1] --contract Set the path of the JSON artifact to load [default: ] --casm Set the path of the JSON CASM artifact to load [default: ] --function Set the function to fuzz [default: ] --workspace Workspace of the fuzzer [default: fuzzer_workspace] --inputfolder Path to the inputs folder to load [default: ] --crashfolder Path to the crashes folder to load [default: ] --inputfile Path to the inputs file to load [default: ] --crashfile Path to the crashes file to load [default: ] --dict Path to the dictionnary file to load [default: ] --logs Enable fuzzer logs in file --seed Set a custom seed (only applicable for 1 core run) --run-time Number of seconds this fuzzing session will last --config Load config file --replay Replay the corpus folder --minimizer Minimize Corpora --proptesting Property Testing --analyze Dump functions prototypes --iter Iteration Number [default: -1] -h, --help Print help ``` # 常见问题解答 ## 如何找到 Cairo/Starknet 编译产物（json 文件）？ Cairo-Fuzzer 支持使用 `starknet-compile` 和 `starknet-sierra-compile` 编译后生成的 Starknet 编译产物（json 和 casm 文件）。 Cairo-Fuzzer 不支持 Cairo2.0 和纯 Cairo 合约。 ## 如何运行测试？ ``` cargo test ``` # 许可证 Cairo-Fuzzer 根据 AGPLv3 许可证授权并分发。如果您希望获得条款的例外许可，请[联系我们](mailto:contact@fuzzinglabs.com)。

标签：ASN解析, Cairo, Fuzzer, Rust, Starknet, Starknet合约, Web3安全, 区块链安全, 可视化界面, 多线程测试, 安全测试, 开源安全工具, 攻击性安全, 智能合约安全, 模糊测试工具, 测试工具, 符号执行, 网络流量审计, 语料库最小化, 逆向工程平台, 通知系统, 通知系统