Ini adalah aplikasi Linux bernama Manticore yang rilis terbarunya dapat diunduh sebagai Manticore0.3.7.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Manticore with OnWorks ini secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
Manticore
DESKRIPSI
Manticore membantu kita dengan cepat memanfaatkan eksekusi simbolik, analisis noda, dan instrumentasi untuk menganalisis binari. Bagian dari Manticore mendukung kemampuan eksekusi simbolis kami di Cyber Grand Challenge. Sebagai alat sumber terbuka, kami berharap orang lain dapat memanfaatkan kemampuan ini dalam proyek mereka sendiri. Kami memprioritaskan kesederhanaan dan kegunaan saat membangun Manticore. Kami menggunakan dependensi eksternal minimal dan API kami akan terlihat familier bagi siapa saja yang mengeksploitasi atau membalikkan latar belakang. Jika Anda belum pernah menggunakan alat seperti itu sebelumnya, cobalah Manticore. Manticore hadir dengan alat baris perintah yang mudah digunakan yang dengan cepat menghasilkan "test case" program baru (atau input sampel) dengan eksekusi simbolis. Setiap test case menghasilkan hasil yang unik saat menjalankan program, seperti proses keluar normal atau crash (misalnya, penghitung program tidak valid, memori baca/tulis tidak valid).
Fitur
- Manticore dapat menjalankan program dengan input simbolik dan menjelajahi semua kemungkinan status yang dapat dicapainya
- Manticore dapat secara otomatis menghasilkan input konkret yang menghasilkan status program tertentu
- Manticore dapat mendeteksi crash dan kasus kegagalan lainnya dalam kontrak binari dan pintar
- Manticore memberikan kontrol yang sangat baik atas eksplorasi status melalui panggilan balik peristiwa dan pengait instruksi
- Manticore memaparkan akses terprogram ke mesin analisisnya melalui API Python
- Kontrak pintar Ethereum (kode byte EVM)
Bahasa Pemrograman
Ular sanca
Kategori
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/manticore.mirror/. Itu telah dihosting di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
