Chimera

Echidna 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.

Synpress kết hợp Playwright với tự động hóa trình duyệt nhận biết Ethereum để bạn có thể kiểm thử end-to-end các dapp, bao gồm các cửa sổ bật lên của ví và chuyển đổi Chuỗi, trong CI.

Aderyn là trình phân tích tĩnh hợp đồng thông minh Solidity mã nguồn mở, dựa trên Rust của Cyfrin, được thiết kế để giúp các kỹ sư giao thức và nhà nghiên cứu bảo mật tìm ra các lỗ hổng trong các cơ sở mã Solidity.