安全与测试Hive模糊/属性测试测试 · Docker · 测试自动化ethereum/hive(525 ☆) （在新标签页中打开）Hive is an end-to-end integration test harness that runs Ethereum clients in Docker across simulator scenarios. Client teams use it to check that implementations agree with each other.相关资源ChimeraChimera 是一个在 Foundry 中编写 Solidity 测试的框架，并能够与其他开源工具（如 Echidna、Medusa、Halmos 和 Kontrol）一起重用它们。Slither斯莱瑟是 Trail of Bits 用于 Solidity 和 Vyper 的 Python 静态分析引擎：在 CI 中运行它以触发检测器、打印合约的结构视图，或在整个代码库上编写自定义检查脚本。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.SynpressSynpress 将 Playwright 与感知以太坊的浏览器自动化分层，以便你可以在 CI 中对去中心化应用 (dapp) 进行端到端测试，包括钱包弹出窗口和链切换。ItyFuzzItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.AderynAderyn 是 Cyfrin 开源的、基于 Rust 的 Solidity 智能合约静态分析器，旨在帮助协议工程师和安全研究人员在 Solidity 代码库中发现漏洞。
