Це програма Windows під назвою Echidna, останню версію якої можна завантажити як echidna-2.2.1-Linux.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та безкоштовно запустіть цю програму під назвою Echidna з 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
єхидна
ОПИС
Єхидна — це дивна істота, яка їсть жуків і має високу електрочутливість (з вибаченнями перед Джейкобом Стенлі). Серйозніше, Єхидна — це програма на Haskell, розроблена для фаззингу/тестування на основі властивостей смарт-контрактів Ethereum. Він використовує складні кампанії фаззингу на основі граматики на основі контрактного ABI для фальсифікації визначених користувачем предикатів або тверджень Solidity. Ми розробили Echidna з урахуванням модульності, тому її можна легко розширити, щоб включити нові мутації або перевірити певні контракти в конкретних випадках. Необов’язковий збір корпусів, мутації та вказівки щодо покриття для пошуку більш глибоких помилок. Технологія Slither для отримання корисної інформації перед кампанією фаззингу. Інтеграція вихідного коду, щоб визначити, які рядки охоплені після кампанії фаззингу. Ретро інтерфейс користувача на основі Curses, лише текстовий або JSON вихід.
риси
- Генерує вхідні дані, адаптовані до вашого фактичного коду
- Підтримка складної ініціалізації контракту з Etheno та Truffle
- Звіт про максимальне споживання газу для кампанії фаззингу
- Повна інтеграція в робочий процес розробки
- Автоматична мінімізація тестових випадків для швидкого сортування
- Ретро інтерфейс користувача на основі Curses, лише текстовий або JSON вихід
Мова програмування
Haskell, Solidity
Категорії
Це додаток, який також можна завантажити з https://sourceforge.net/projects/echidna.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
