Lompat ke konten utama
Keamanan & pengujian

AuditHub

Pengujian Fuzz/Properti

Kunjungi situs web (buka di tab baru)AuditHub di X (buka di tab baru)AuditHub di GitHub (buka di tab baru)

Lihat selanjutnya

contender (Flashbots)

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

Tag

  • Keamanan
  • Analisis statis
  • Pengujian fuzz
  • Verifikasi formal
  • Solidity
  • Integrasi berkelanjutan

RepositoriVeridise

Pakethttps:

Info

Tipe
Pengujian Fuzz/Properti
Bintang GitHub
23
Pencantuman ditinjau
Oktober 2026

Alat serupa

Chimera

Chimera

Chimera adalah kerangka kerja untuk menulis pengujian Solidity di foundry dan dapat menggunakannya kembali dengan Alat Sumber Terbuka lainnya seperti Echidna, Medusa, Halmos, dan Kontrol

Slither
CROPS Native

Slither

Slither adalah mesin analisis statis Python dari Trail of Bits untuk Solidity dan Vyper: jalankan di CI untuk memicu detektor, mencetak tampilan struktural kontrak, atau membuat skrip pemeriksaan kustom di seluruh basis kode.

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.