To jest aplikacja dla systemu Linux o nazwie Echidna, której najnowszą wersję można pobrać jako echidna-2.2.1-Linux.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie Echidna z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
Echidna
OPIS
Echidna to dziwne stworzenie, które zjada robaki i jest bardzo wrażliwe na elektryczność (z przeprosinami dla Jacoba Stanleya) Mówiąc poważnie, Echidna to program Haskell przeznaczony do fuzzingu/testowania inteligentnych kontraktów Ethereum w oparciu o właściwości. Wykorzystuje wyrafinowane kampanie fuzzingu oparte na gramatyce, oparte na kontrakcie ABI, w celu fałszowania predykatów zdefiniowanych przez użytkownika lub twierdzeń Solidity. Zaprojektowaliśmy Echidnę z myślą o modułowości, dzięki czemu można ją łatwo rozszerzyć o nowe mutacje lub przetestować określone kontrakty w określonych przypadkach. Opcjonalne wskazówki dotyczące zbierania korpusu, mutacji i pokrycia w celu znalezienia głębszych błędów. Obsługiwane przez Slither, aby wyodrębnić przydatne informacje przed kampanią fuzzingową. Integracja kodu źródłowego w celu określenia, które linie są pokryte po kampanii fuzzingu. Retro interfejs użytkownika oparty na klątwach, tylko tekst lub wyjście JSON.
Korzyści
- Generuje dane wejściowe dostosowane do rzeczywistego kodu
- Obsługa złożonej inicjalizacji kontraktu z Etheno i Truffle
- Raportowanie maksymalnego zużycia gazu w kampanii fuzzingu
- Bezproblemowa integracja z przepływem prac programistycznych
- Automatyczna minimalizacja przypadków testowych w celu szybkiej selekcji
- Retro interfejs użytkownika oparty na klątwach, tylko tekst lub wyjście JSON
Język programowania
Haskell, Solidność
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/echidna.mirror/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.