Безпека та тестування

AuditHub

Фаззинг / тестування властивостей

Безпека · Статичний аналіз · Фаззинг-тестування · Формальна верифікація · Solidity · Безперервна інтеграція

Вебсайт Соціальні мережі Veridise/AuditHub-Client Veridise/audithub-mcp Veridise/audithub-skills https://pypi.org/project/audithub-client/

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.

Пов'язані ресурси

Chimera

Chimera — це фреймворк для написання тестів Solidity у foundry з можливістю їх повторного використання з іншими інструментами з відкритим вихідним кодом, такими як Echidna, Medusa, Halmos та Kontrol

Slither

Слізер — це рушій статичного аналізу на Python від Trail of Bits для Solidity та Vyper: запускайте його в CI для активації детекторів, друку структурних виглядів контрактів або написання скриптів для користувацьких перевірок цілих кодових баз.

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 поєднує Playwright з автоматизацією браузера, що підтримує Етеріум, щоб ви могли проводити наскрізне тестування децентралізованих застосунків (dapps), включаючи спливаючі вікна гаманців та перемикання ланцюгів, у 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 — це статичний аналізатор смарт-контрактів на Solidity з відкритим вихідним кодом на базі Rust від Cyfrin, розроблений, щоб допомогти інженерам протоколів та дослідникам безпеки знаходити вразливості в кодових базах на Solidity.