Chuyển đến nội dung chính
Bảo mật & kiểm thử

AuditHub

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

Truy cập trang web (mở trong tab mới)AuditHub trên X (mở trong tab mới)AuditHub trên GitHub (mở trong tab mới)

Xem tiếp

contender (Flashbots)

Giới thiệu về AuditHub

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

Thẻ

  • Bảo mật
  • Phân tích tĩnh
  • Thử nghiệm fuzz
  • Xác minh hình thức
  • Solidity
  • Tích hợp liên tục

Các kho lưu trữVeridise

Góihttps:

Thông tin

Loại
Kiểm thử Fuzz/Thuộc tính
Số sao trên GitHub
23
Đã đánh giá mục niêm yết
tháng 10 năm 2026

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

Chimera

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

Slither
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ã.

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