Slither

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

Xem trên GitHub

Xem tiếp

Echidna

Giới thiệu về 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ã.

Thẻ

Bảo mật
Phân tích tĩnh
Solidity
Vyper
Tích hợp liên tục

Kho lưu trữcrytic

slither6,4 N (mở trong tab mới)

Thông tin

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

Synpress

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

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.