solidity-coverage

Kiểm thử Fuzz/Thuộc tính

Xem trên GitHub

Xem tiếp

hevm

Giới thiệu về solidity-coverage

solidity-coverage cung cấp độ bao phủ mã hợp đồng thông minh cho nền tảng nhà phát triển Hardhat. Nó có độ chính xác cao, hỗ trợ biên dịch solidity viaIR đầy đủ và một tập hợp lớn các mẫu nhánh mã dành riêng cho solidity. Nó được cài đặt trên ~230 nghìn dự án Github và được tải xuống ~100 nghìn lần một tuần từ NPM.

Thẻ

Hardhat
Phân tích
Độ bao phủ mã
Solidity
Tự động hóa kiểm thử

Kho lưu trữsc-forks

solidity-coverage1 N (mở trong tab mới)

Thông tin

Loại: Kiểm thử Fuzz/Thuộc tính
Số sao trên GitHub: 1 N
Giấy phép: MIT
Đã đánh giá mục niêm yết: tháng 9 năm 2026

Các công cụ tương tự

Chimera

Chimera là một framework để viết các bài kiểm tra Solidity trong foundry và có thể tái sử dụng chúng với các Công cụ Mã nguồn mở khác như Echidna, Medusa, Halmos và Kontrol

CROPS Native

Slither

Slither là công cụ phân tích tĩnh bằng Python của Trail of Bits dành cho Solidity và Vyper: chạy nó trong CI để kích hoạt các trình phát hiện, in các chế độ xem cấu trúc của hợp đồng hoặc viết kịch bản cho các kiểm tra tùy chỉnh trên toàn bộ cơ sở mã.

CROPS Native

Echidna

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.