Đây là ứng dụng Linux có tên Manticore, có thể tải xuống bản phát hành mới nhất dưới dạng Manticore0.3.7.zip. Nó có thể chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên Manticore với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH
Ad
Manticore
MÔ TẢ
Manticore giúp chúng tôi nhanh chóng tận dụng lợi thế của việc thực thi biểu tượng, phân tích dấu vết và thiết bị để phân tích nhị phân. Các bộ phận của Manticore củng cố khả năng thực thi mang tính biểu tượng của chúng tôi trong Cyber Grand Challenge. Là một công cụ nguồn mở, chúng tôi hy vọng rằng những người khác có thể tận dụng các khả năng này trong các dự án của riêng họ. Chúng tôi ưu tiên sự đơn giản và khả năng sử dụng khi xây dựng Manticore. Chúng tôi đã sử dụng các phụ thuộc bên ngoài tối thiểu và API của chúng tôi sẽ trông quen thuộc với bất kỳ ai có nền khai thác hoặc đảo ngược. Nếu bạn chưa bao giờ sử dụng một công cụ như vậy trước đây, hãy dùng thử Manticore. Manticore đi kèm với một công cụ dòng lệnh dễ sử dụng, giúp nhanh chóng tạo ra các “trường hợp thử nghiệm” (hoặc đầu vào mẫu) chương trình mới bằng cách thực thi tượng trưng. Mỗi trường hợp thử nghiệm dẫn đến một kết quả duy nhất khi chạy chương trình, chẳng hạn như quá trình thoát hoặc sự cố thông thường (ví dụ: bộ đếm chương trình không hợp lệ, đọc/ghi bộ nhớ không hợp lệ).
Tính năng
- Manticore có thể thực thi một chương trình với các đầu vào tượng trưng và khám phá tất cả các trạng thái có thể đạt được
- Manticore có thể tự động tạo các đầu vào cụ thể dẫn đến trạng thái chương trình nhất định
- Manticore có thể phát hiện sự cố và các trường hợp lỗi khác trong các tệp nhị phân và hợp đồng thông minh
- Manticore cung cấp khả năng kiểm soát chi tiết về khám phá trạng thái thông qua các cuộc gọi lại sự kiện và móc hướng dẫn
- Manticore hiển thị quyền truy cập có lập trình vào công cụ phân tích của nó thông qua API Python
- Hợp đồng thông minh Ethereum (mã byte EVM)
Ngôn ngữ lập trình
Python
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/manticore.mirror/. Nó đã được lưu trữ trong OnWorks để có thể chạy trực tuyến theo cách dễ dàng nhất từ một trong các Hệ điều hành miễn phí của chúng tôi.
