Przejdź do głównej treści
Bezpieczeństwo i testowanie

AuditHub

Testowanie fuzz/właściwości

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

Strona internetowa (otwiera się w nowej karcie)Społeczności (otwiera się w nowej karcie)Veridise/AuditHub-Client (otwiera się w nowej karcie)Veridise/audithub-mcp (otwiera się w nowej karcie)Veridise/audithub-skills (otwiera się w nowej karcie)https://pypi.org/project/audithub-client/ (otwiera się w nowej karcie)

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.

Powiązane zasoby

Chimera

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

Slither

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.

Echidna

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.

Synpress

Synpress

Synpress łączy Playwright z automatyzacją przeglądarki świadomą Ethereum, dzięki czemu możesz przeprowadzać testy end-to-end zdecentralizowanych aplikacji (dapps), w tym wyskakujących okienek portfeli i przełączeń łańcuchów, w CI.

ItyFuzz

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

Aderyn

Aderyn

Aderyn to otwartoźródłowy, oparty na języku Rust analizator statyczny inteligentnych kontraktów Solidity od Cyfrin, zaprojektowany, aby pomóc inżynierom protokołów i badaczom bezpieczeństwa w znajdowaniu luk w bazach kodu Solidity.