Це програма для Windows під назвою Slither, останню версію якої можна завантажити як 0.10.0sourcecode.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою Slither with OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Slither
ОПИС
Slither — це структура статичного аналізу Solidity, написана на Python 3. Вона запускає набір детекторів уразливостей, друкує візуальну інформацію про деталі контракту та надає API для легкого написання власного аналізу. Slither дозволяє розробникам знаходити вразливості, покращувати розуміння коду та швидко створювати прототипи спеціального аналізу. Slither — це перша платформа статичного аналізу з відкритим кодом для Solidity. Ковзання швидке й точне; він може знаходити реальні вразливості за кілька секунд без втручання користувача. Він легко налаштовується та надає набір API для легкої перевірки та аналізу коду Solidity. Ми використовуємо його в усіх наших перевірках безпеки. Тепер ви можете інтегрувати його у свій процес перевірки коду. Ми відкриваємо вихідний код основного механізму аналізу Slither. Це ядро надає розширені функції статичного аналізу, включаючи проміжне представлення (SlithIR) із можливостями відстеження забруднень, на основі яких можна створювати складні аналізи («детектори»).
риси
- Виявляє вразливий код Solidity з низьким числом помилкових спрацьовувань (див. список трофеїв)
- Визначає місце помилки у вихідному коді
- Легко інтегрується в безперервну інтеграцію та збирає Truffle
- Вбудовані «принтери» швидко повідомляють важливу інформацію про контракт
- API детектора для написання власних аналізів у Python
- Здатність аналізувати контракти, складені з Solidity >= 0.4
Мова програмування
Python, Solidity
Категорії
Це програма, яку також можна завантажити з https://sourceforge.net/projects/slither.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.