安全与测试CROPS 原生bulloak模糊/属性测试访问网站 （在新标签页中打开）GitHub 上的 bulloak （在新标签页中打开）查看下一个spamoor关于 bulloak一个基于分支树技术的智能合约测试生成器。标签CLISolidity代码质量代码分析测试自动化Solidity 开发代码覆盖率代码库alexfertelbulloak353 （在新标签页中打开）信息类型模糊/属性测试GitHub 星标数353许可证Apache-2.0收录审核时间2026年9月类似工具ChimeraChimera 是一个在 Foundry 中编写 Solidity 测试的框架，并能够与其他开源工具（如 Echidna、Medusa、Halmos 和 Kontrol）一起重用它们。CROPS 原生Slither斯莱瑟是 Trail of Bits 用于 Solidity 和 Vyper 的 Python 静态分析引擎：在 CI 中运行它以触发检测器、打印合约的结构视图，或在整个代码库上编写自定义检查脚本。CROPS 原生EchidnaEchidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.
