Aceasta este aplicația Linux numită Manticore a cărei ultimă versiune poate fi descărcată ca Manticore0.3.7.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Manticore cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
CAPTURĂ DE ECRAN:
Manticora
DESCRIERE:
Manticore ne ajută să profităm rapid de execuția simbolică, analiza defectului și instrumentarea pentru a analiza binare. Părți din Manticore au susținut capacitățile noastre de execuție simbolică în Cyber Grand Challenge. Ca instrument open-source, sperăm că alții pot profita de aceste capacități în propriile proiecte. Am prioritizat simplitatea și utilizarea în timp ce construim Manticore. Am folosit dependențe externe minime, iar API-ul nostru ar trebui să pară familiar pentru oricine are un fundal de exploatare sau inversare. Dacă nu ați mai folosit niciodată un astfel de instrument, încercați Manticore. Manticore vine cu un instrument de linie de comandă ușor de utilizat, care generează rapid noi „cazuri de testare” de program (sau intrări eșantion) cu execuție simbolică. Fiecare caz de testare are ca rezultat un rezultat unic la rularea programului, cum ar fi o ieșire normală a unui proces sau o blocare (de exemplu, contor de program nevalid, citire/scriere in memorie invalidă).
DESCRIERE
- Manticore poate executa un program cu intrări simbolice și poate explora toate stările posibile pe care le poate ajunge
- Manticore poate produce automat intrări concrete care au ca rezultat o anumită stare a programului
- Manticore poate detecta blocări și alte cazuri de eșec în binare și contracte inteligente
- Manticore oferă un control fin al explorării de stat prin apeluri de evenimente și cârlige de instrucțiuni
- Manticore expune accesul programatic la motorul său de analiză prin intermediul unui API Python
- Contracte inteligente Ethereum (cod octet EVM)
Limbaj de programare
Piton
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/manticore.mirror/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.