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

CodeTracer — це зручний відлагоджувач із можливістю подорожі в часі, розроблений для підтримки широкого спектру мов програмування web3.

Simbolik — це потужний відлагоджувач Solidity, який поєднує традиційне відлагодження за точками зупину із символьним виконанням, дозволяючи розробникам досліджувати кожен можливий шлях виконання та з точністю виявляти вразливості. Доступний як розширення для VSCode, Simbolik легко інтегрується в існуючі робочі процеси, пропонуючи відлагодження в стилі точок зупину, перевірку на рівні Solidity та EVM, а також можливості формальної верифікації.

Вебвідлагоджувач та симулятор транзакцій для EVM. З відкритим вихідним кодом та можливістю самостійного хостингу. Перевіряйте стани змінних на кожному кроці, симулюйте транзакції перед розгортанням та профілюйте використання газу. Підтримує будь-якого провайдера RPC.

Abi Ninja — це браузерний інтерфейс користувача для виклику контрактів з відомими ABI, вставленими ABI або декомпільованим байт-кодом, зі зчитуванням з урахуванням проксі у багатьох мережах, включаючи ваш локально запущений вузол Hardhat або Anvil.

простий інструмент cli для миттєвого завантаження коду контракту у вашу IDE.

Надзвичайно проста інтерактивна оболонка для взаємодії зі смартконтрактами

viem-tracer доповнює клієнт Viem, щоб невдалі виклики ethestimateGas та ethsendTransaction автоматично включали зрозумілий для людини вивід трасування, декодований за допомогою sourcify.dev, і додає типізовані помічники навколо debug_traceCall, щоб розробники могли перевіряти виконання, не залишаючи свій існуючий стек RPC.

EDB — це відлагоджувач на рівні вихідного коду для виконання Solidity з покроковим виконанням, локальними змінними, спостереженнями та точками зупину, коли вам потрібна видимість поведінки контракту ончейн або в тестах на рівні IDE.

forge-stack-tracer пропускає детальний вивід тестів Foundry через декодування Swiss-Knife, тому тести, що завершилися невдало, повертають інтерактивні трасування стека замість незрозумілого шістнадцяткового коду.

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

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

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

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

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

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

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

hevm — це сучасний, швидкий рушій символьного та конкретного виконання EVM з відкритим вихідним кодом, який може знаходити проблеми у смарт-контрактах. Завдяки своїй системі символьного виконання та аналізу, hevm може символьно, напівконкретно або конкретно виконувати контракти для пошуку помилок, або порівнювати два різні контракти на наявність розбіжностей, виконуючи перевірку еквівалентності.

Crytic-Properties — це набір тестів безпеки для багаторазового використання для деяких з найпоширеніших стандартів токенів, таких як ERC-20, ERC-721, ERC-4626 та інших.

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

Генератор тестів для смарт-контрактів на основі Branching Tree Technique.

ERCx — це комплексна бібліотека тестування з відкритим вихідним кодом для стандартів токенів ERC, що містить понад 500 окремих тестів для реалізацій ERC-20, ERC-721, ERC-1155 та ERC-4626.

Аудитор безпеки смарт-контрактів Solidity/EVM зі 104 патернами вразливостей та 8 інструментами аналізу. Досягає 100% у бенчмарках CTF та EVMBench (120/120). Статичний аналіз для виявлення вразливостей у смарт-контрактах.

foundry-storage-check — це GitHub Action для проєктів Foundry, який запускається для кожного pull request, щоб гарантувати, що структури сховища оновлюваних проксі залишаються безпечними від колізій, і що нові додані слоти сховища ініціалізуються нулями ончейн перед злиттям.

blocksmith.js — це легка обгортка на JavaScript навколо forge та anvil для написання скриптів для багатоланцюгових або багатоклієнтських тестів Foundry, коли однієї локальної EVM недостатньо.

KEVM — це виконувана семантика EVM у K-framework: вкажіть їй на байт-код, коли вам потрібне виконання з перевіркою відповідності, символьне дослідження, міркування щодо газу або доведення, які тісно відстежують правила Етеріуму.

Kontrol перетворює тести властивостей Foundry на доведення на базі KEVM, щоб ви могли досягати формальних гарантій з меншим обсягом написаних вручну специфікацій, ніж при використанні лише чистого KEVM.

hax — це інструмент для високонадійних перекладів великої підмножини Rust на формальні мови, такі як F* або Rocq.

Act — це декларативна мова специфікацій та набір інструментів Етеріуму для опису всіх способів поведінки програми EVM, щоб SMT-вирішувачі, системи доведення теорем або інструменти економічного аналізу могли аналізувати коректність на рівні байт-коду та сумісність стимулів, включаючи автоматичні доведення уточнень для конкретних реалізацій.

Verifereum підключає смарт-контракти Етеріуму до доведення теорем на базі HOL4, щоб ви могли прагнути до дуже сильних заяв про правильність, коли автоматизованих підходів SMT недостатньо.