Bezpieczeństwo i testowanie

AuditHub

Testowanie fuzz/właściwości

Zobacz następne

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

Tagi

Bezpieczeństwo
Analiza statyczna
Testowanie fuzz
Weryfikacja formalna
Solidity
Ciągła integracja

RepozytoriaVeridise

Pakiethttps:

/pypi.org/project/audithub-client/ (otwiera się w nowej karcie)

Informacje

Typ: Testowanie fuzz/właściwości
Gwiazdki na GitHubie: 23
Przegląd wpisu: październik 2026

Podobne narzędzia

Chimera

Chimera to framework do pisania testów Solidity w foundry z możliwością ich ponownego użycia z innymi narzędziami Open Source, takimi jak Echidna, Medusa, Halmos i Kontrol

CROPS Native

Slither

Slither to silnik analizy statycznej w języku Python od Trail of Bits dla Solidity i Vyper: uruchom go w CI, aby odpalać detektory, drukować widoki strukturalne kontraktów lub skryptować niestandardowe sprawdzenia w całych bazach kodu.

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.