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

Slither

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

Безпека · Статичний аналіз · Solidity · Vyper · Безперервна інтеграція

Соціальні мережі crytic/slither(6,3 тис. ☆)

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

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

Chimera

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

Synpress

Synpress поєднує Playwright з автоматизацією браузера, що підтримує Етеріум, щоб ви могли проводити наскрізне тестування децентралізованих застосунків (dapps), включаючи спливаючі вікна гаманців та перемикання ланцюгів, у CI.

Aderyn

Aderyn — це статичний аналізатор смарт-контрактів на Solidity з відкритим вихідним кодом на базі Rust від Cyfrin, розроблений, щоб допомогти інженерам протоколів та дослідникам безпеки знаходити вразливості в кодових базах на Solidity.

Titanoboa

Titanoboa — це інтерактивний інтерпретатор Vyper та тестове середовище для швидкого зворотного зв'язку, коли ви експериментуєте з контрактами поза повним циклом Foundry.

Medusa

Medusa — це фазер смартконтрактів зі збереженням стану, натхненний Echidna. Він забезпечує паралельне фаз-тестування смартконтрактів та верифікацію складних інваріантів смартконтрактів.

solidity-coverage

solidity-coverage забезпечує покриття коду смартконтрактів для платформи розробників Hardhat. Він є високоточним, підтримує повну компіляцію Solidity viaIR та великий набір специфічних для Solidity патернів розгалуження коду. Він встановлений у ~230 тис. проєктів на Github і завантажується ~100 тис. разів на тиждень з NPM.