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

Wallet Test Framework

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

Тестування · Гаманець · Користувацький досвід · Досвід розробника · Безпека

Wallet Test Framework — це автоматизований набір, який проходить основні процеси гаманця — перекази, зчитування балансу, базові взаємодії з децентралізованими застосунками (dapps) — щоб команди могли проводити регресійне тестування спільних очікувань UX у CI.

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

Chimera

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

Slither

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

Synpress

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

Aderyn

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

Titanoboa

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

Medusa

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