Це програма для Windows під назвою Manticore, останню версію якої можна завантажити як Manticore0.3.7.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою Manticore з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Мантикора
ОПИС
Manticore допомагає нам швидко скористатися перевагами символічного виконання, аналізу забруднення та інструментів для аналізу двійкових файлів. Частини Мантікори стали основою наших символічних можливостей виконання в Cyber Grand Challenge. Будучи інструментом з відкритим кодом, ми сподіваємося, що інші зможуть скористатися цими можливостями у своїх власних проектах. Під час створення Manticore ми надавали перевагу простоті та зручності використання. Ми використали мінімальну кількість зовнішніх залежностей, і наш API повинен виглядати знайомим усім, хто має досвід експлуатації або реверсу. Якщо ви ніколи раніше не користувалися таким інструментом, спробуйте Manticore. Manticore постачається з простим у використанні інструментом командного рядка, який швидко генерує нові «тестові приклади» програми (або зразки вхідних даних) із символічним виконанням. Кожен тестовий приклад призводить до унікального результату під час виконання програми, як-от звичайний вихід із процесу або збій (наприклад, недійсний лічильник програми, недійсне читання/запис пам’яті).
риси
- Мантікора може виконувати програму за допомогою символічних вхідних даних і досліджувати всі можливі стани, яких вона може досягти
- Manticore може автоматично створювати конкретні вхідні дані, які призводять до певного стану програми
- Manticore може виявляти збої та інші випадки збою в бінарних файлах і смарт-контрактах
- Manticore забезпечує детальний контроль дослідження стану за допомогою зворотних викликів подій і перехоплень інструкцій
- Manticore надає програмний доступ до свого механізму аналізу через API Python
- Смарт-контракти Ethereum (байт-код EVM)
Мова програмування
Python
Категорії
Це програма, яку також можна завантажити з https://sourceforge.net/projects/manticore.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
