Bảo mật & kiểm thử

hevm

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

Xem trên GitHub

Xem tiếp

Crytic-Properties

Giới thiệu về hevm

hevm là một công cụ thực thi EVM tượng trưng và cụ thể, nhanh chóng, hiện đại, mã nguồn mở có thể tìm các vấn đề trong hợp đồng thông minh. Thông qua hệ thống phân tích và thực thi tượng trưng, hevm có thể thực thi hợp đồng một cách tượng trưng, bán cụ thể hoặc cụ thể để tìm lỗi, hoặc so sánh hai hợp đồng khác nhau để tìm sự khác biệt, thực hiện kiểm tra tính tương đương.

Thẻ

CLI
Foundry
Bảo mật
Thực thi tượng trưng

Kho lưu trữethereum

hevm362 (mở trong tab mới)

Thông tin

Loại: Kiểm thử Fuzz/Thuộc tính
Số sao trên GitHub: 362
Giấy phép: AGPL-3.0
Đã đánh giá mục niêm yết: tháng 6 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.