To jest aplikacja Windows o nazwie Manticore, której najnowszą wersję można pobrać jako Manticore0.3.7.zip. Można go uruchomić online w darmowym dostawcy usług hostingowych OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie Manticore 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 dowolny emulator online systemu operacyjnego OnWorks z tej witryny, ale lepszy emulator online systemu Windows.
- 5. W systemie operacyjnym OnWorks Windows, 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ę i zainstaluj ją.
- 7. Pobierz Wine z repozytoriów oprogramowania dystrybucji Linuksa. Po zainstalowaniu możesz dwukrotnie kliknąć aplikację, aby uruchomić ją za pomocą Wine. Możesz także wypróbować PlayOnLinux, fantazyjny interfejs w Wine, który pomoże Ci zainstalować popularne programy i gry Windows.
Wine to sposób na uruchamianie oprogramowania Windows w systemie Linux, ale bez systemu Windows. Wine to warstwa kompatybilności z systemem Windows typu open source, która może uruchamiać programy systemu Windows bezpośrednio na dowolnym pulpicie systemu Linux. Zasadniczo Wine próbuje ponownie zaimplementować system Windows od podstaw, aby mógł uruchamiać wszystkie te aplikacje Windows bez faktycznego korzystania z systemu Windows.
ZRZUTY EKRANU
Ad
Mantikora
OPIS
Manticore pomaga nam szybko wykorzystać wykonanie symboliczne, analizę skaz i oprzyrządowanie do analizy plików binarnych. Części Manticore wzmocniły nasze możliwości wykonywania symboli w Cyber Grand Challenge. Mamy nadzieję, że jako narzędzie typu open source inni będą mogli wykorzystać te możliwości we własnych projektach. Podczas tworzenia Manticore postawiliśmy na prostotę i użyteczność. Użyliśmy minimalnych zależności zewnętrznych, a nasz interfejs API powinien wyglądać znajomo dla każdego, kto ma doświadczenie w wykorzystywaniu lub cofaniu. Jeśli nigdy wcześniej nie korzystałeś z takiego narzędzia, wypróbuj Manticore. Manticore jest wyposażony w łatwe w użyciu narzędzie wiersza poleceń, które szybko generuje nowe „przypadki testowe” programu (lub przykładowe dane wejściowe) z wykonaniem symbolicznym. Każdy przypadek testowy daje unikalny wynik podczas uruchamiania programu, taki jak normalne zakończenie procesu lub awaria (np. nieprawidłowy licznik programu, nieprawidłowy odczyt/zapis pamięci).
Funkcjonalności
- Manticore może wykonać program z symbolicznymi danymi wejściowymi i zbadać wszystkie możliwe stany, jakie może osiągnąć
- Manticore może automatycznie generować konkretne dane wejściowe, które skutkują określonym stanem programu
- Manticore może wykrywać awarie i inne przypadki awarii w plikach binarnych i inteligentnych kontraktach
- Manticore zapewnia precyzyjną kontrolę eksploracji stanu za pomocą wywołań zwrotnych zdarzeń i przechwytywania instrukcji
- Manticore udostępnia programowy dostęp do swojego silnika analitycznego za pośrednictwem API Pythona
- Inteligentne kontrakty Ethereum (kod bajtowy EVM)
Język programowania
Python
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/manticore.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.
