Это приложение для Linux под названием Echidna, последнюю версию которого можно загрузить как echidna-2.2.1-Linux.zip. Его можно запустить онлайн на бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием Echidna с OnWorks бесплатно.
Следуйте этим инструкциям, чтобы запустить это приложение:
- 1. Загрузил это приложение на свой компьютер.
- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 3. Загрузите это приложение в такой файловый менеджер.
- 4. Запустите онлайн-эмулятор OnWorks Linux или Windows или онлайн-эмулятор MACOS с этого веб-сайта.
- 5. В только что запущенной ОС OnWorks Linux перейдите в наш файловый менеджер https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 6. Скачайте приложение, установите его и запустите.
СКРИНШОТЫ
Ad
Ехидна
ОПИСАНИЕ
Ехидна — это странное существо, которое питается жуками и очень чувствительно к электричеству (приношу свои извинения Джейкобу Стэнли). А если серьезно, Ехидна — это программа на языке Haskell, предназначенная для фаззинга/тестирования смарт-контрактов Ethereum на основе свойств. Он использует сложные кампании фаззинга на основе грамматики, основанные на контрактном ABI, для фальсификации пользовательских предикатов или утверждений Solidity. Мы разработали Echidna с учетом модульности, поэтому ее можно легко расширить, включив новые мутации или протестировав определенные контракты в конкретных случаях. Дополнительный сбор корпуса, руководство по мутациям и покрытию для поиска более глубоких ошибок. Работает на Slither для извлечения полезной информации перед фаззинговой кампанией. Интеграция исходного кода, чтобы определить, какие строки будут покрыты после кампании фаззинга. Ретро-интерфейс на основе Curses, вывод только текста или JSON.
Особенности
- Генерирует входные данные, адаптированные к вашему фактическому коду
- Поддержка сложной инициализации контракта с Etheno и Truffle
- Отчет о максимальном использовании газа в кампании фаззинга
- Полная интеграция в рабочий процесс разработки
- Автоматическая минимизация тестовых наборов для быстрой сортировки
- Ретро-интерфейс на основе проклятий, только текст или вывод JSON
Язык программирования
Хаскель, Солидность
Категории
Это приложение также можно загрузить с https://sourceforge.net/projects/echidna.mirror/. Он был размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
