英语法语西班牙文

OnWorks 网站图标

适用于 Windows 的 Manticore 下载

免费下载 Manticore Windows 应用程序以在 Ubuntu 在线、Fedora 在线或 Debian 在线中在线运行 win Wine

这是名为 Manticore 的 Windows 应用程序,其最新版本可以下载为 Manticore0.3.7.zip。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。

使用 OnWorks 免费下载并在线运行这个名为 Manticore 的应用程序。

请按照以下说明运行此应用程序:

- 1. 在您的 PC 中下载此应用程序。

- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。

- 3. 在这样的文件管理器中上传这个应用程序。

- 4. 从本网站启动任何 OS OnWorks 在线模拟器,但更好的 Windows 在线模拟器。

- 5. 从您刚刚启动的 OnWorks Windows 操作系统,使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。

- 6. 下载应用程序并安装。

- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后,您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux,这是 Wine 上的一个花哨界面,可帮助您安装流行的 Windows 程序和游戏。

Wine 是一种在 Linux 上运行 Windows 软件的方法,但不需要 Windows。 Wine 是一个开源的 Windows 兼容层,可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上,Wine 试图从头开始重新实现足够多的 Windows,以便它可以运行所有这些 Windows 应用程序,而实际上不需要 Windows。

SCREENSHOTS

Ad


曼提考


商品描述

Manticore 帮助我们快速利用符号执行、污点分析和检测来分析二进制文件。 Manticore 的某些部分支撑了我们在 Cyber​​ Grand Challenge 中的象征性执行能力。 作为开源工具,我们希望其他人可以在自己的项目中利用这些功能。 在构建 Manticore 时,我们优先考虑简单性和可用性。 我们使用了最少的外部依赖项,我们的 API 对于任何具有开发或逆向背景的人来说应该看起来很熟悉。 如果您以前从未使用过此类工具,请尝试一下 Manticore。 Manticore 带有一个易于使用的命令行工具,可以通过符号执行快速生成新程序“测试用例”(或样本输入)。 每个测试用例在运行程序时都会产生独特的结果,例如正常的进程退出或崩溃(例如,无效的程序计数器、无效的内存读/写)。



产品优势

  • Manticore 可以执行带有符号输入的程序并探索它可以达到的所有可能状态
  • Manticore 可以自动生成导致给定程序状态的具体输入
  • Manticore 可以检测二进制文件和智能合约中的崩溃和其他故障案例
  • Manticore 通过事件回调和指令挂钩提供对状态探索的细粒度控制
  • Manticore 通过 Python API 公开对其分析引擎的编程访问
  • 以太坊智能合约(EVM 字节码)


程式语言

Python


分类

框架,区块链

这是一个也可以从 https://sourceforge.net/projects/manticore.mirror/ 获取的应用程序。 它已托管在 OnWorks 中,以便以最简单的方式从我们的免费操作系统之一在线运行。


免费服务器和工作站

下载 Windows 和 Linux 应用程序

  • 1
    AstrOrz播放器
    AstrOrz播放器
    AstrOrz Player 是一款免费的媒体播放器
    软件,部分基于 WMP 和 VLC。 这
    播放器采用极简风格,带有
    十多个主题色,还可以
    B ...
    下载 AstrOrzPlayer
  • 2
    电影启动器
    电影启动器
    Kodi Movistar+ TV 是 XBMC/ 的 ADDON
    Kodi 许可分配器
    IPTV服务解码器
    Movistar Integrado en uno de los
    媒体中心马...
    下载 movistartv
  • 3
    代码::块
    代码::块
    Code::Blocks 是一个免费的、开源的、
    跨平台 C、C++ 和 Fortran IDE
    专为满足最苛刻的需求而打造
    它的用户。 它的设计非常
    扩展...
    下载代码::Blocks
  • 4
    之中
    之中
    中间或高级 Minecraft 界面
    和数据/结构跟踪是一种工具
    显示 Minecraft 的概览
    世界,而无需实际创造它。 它
    能够 ...
    下载烟雨
  • 5
    系统2
    系统2
    MSYS2 是一组工具和
    图书馆为您提供
    易于使用的建筑环境,
    安装和运行本机 Windows
    软件。 它连...
    下载 MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo 是一个 JPEG 图像编解码器
    使用 SIMD 指令(MMX、SSE2、
    NEON、AltiVec)加速基线
    JPEG 压缩和解压
    x86、x8...
    下载 libjpeg-turbo
  • 更多 ”

Linux 命令

Ad