Ini ialah apl Linux bernama Manticore yang keluaran terbarunya boleh dimuat turun sebagai Manticore0.3.7.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Manticore ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
manticore
DESCRIPTION
Manticore membantu kami dengan cepat memanfaatkan pelaksanaan simbolik, analisis noda dan instrumentasi untuk menganalisis binari. Sebahagian daripada Manticore menyokong keupayaan pelaksanaan simbolik kami dalam Cyber Grand Challenge. Sebagai alat sumber terbuka, kami berharap orang lain dapat memanfaatkan keupayaan ini dalam projek mereka sendiri. Kami mengutamakan kesederhanaan dan kebolehgunaan semasa membina Manticore. Kami menggunakan kebergantungan luaran yang minimum dan API kami sepatutnya kelihatan biasa kepada sesiapa sahaja yang mempunyai latar belakang eksploitasi atau membalikkan. Jika anda tidak pernah menggunakan alat sedemikian sebelum ini, cuba Manticore. Manticore dilengkapi dengan alat baris arahan yang mudah digunakan yang menjana program baharu "kes ujian" (atau input sampel) dengan pelaksanaan simbolik. Setiap kes ujian menghasilkan hasil yang unik apabila menjalankan program, seperti proses keluar atau ranap proses biasa (cth, pembilang program tidak sah, baca/tulis memori tidak sah).
Ciri-ciri
- Manticore boleh melaksanakan program dengan input simbolik dan meneroka semua kemungkinan keadaan yang boleh dicapainya
- Manticore secara automatik boleh menghasilkan input konkrit yang menghasilkan keadaan program tertentu
- Manticore boleh mengesan ranap sistem dan kes kegagalan lain dalam perduaan dan kontrak pintar
- Manticore menyediakan kawalan terperinci bagi penerokaan negeri melalui panggilan balik acara dan cangkuk arahan
- Manticore mendedahkan akses program kepada enjin analisisnya melalui API Python
- Kontrak pintar Ethereum (kod bait EVM)
Bahasa Pengaturcaraan
Python
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/manticore.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
