Безопасность и тестирование

AuditHub

Фаззинг и тестирование свойств

Смотреть далее

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

РепозиторииVeridise

Пакетhttps:

/pypi.org/project/audithub-client/ (открывается в новой вкладке)

Информация

Тип: Фаззинг и тестирование свойств
Звезды на GitHub: 23
Информация проверена: октябрь 2026 г.

Похожие инструменты

Chimera

Chimera — это фреймворк для написания тестов Solidity в Foundry с возможностью их повторного использования с другими инструментами с открытым исходным кодом, такими как Echidna, Medusa, Halmos и Kontrol.

CROPS Native

Slither

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

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.