maat

About Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting:...

VulFi

VulFi v3.0 はじめに VulFi（Vulnerability Finder）ツールは、IDA Proのプラグインであり、バイナリのバグハンティングを支援するために使用できます。主な目的は、最も興味深い関数（strcpy、sprintf、systemなど）へのすべてのクロスリファレンスを一つのビューで提供することです。Hexraysデコンパイラが使用できる場合、脆弱性研究の観点から興味深くない関数呼び出し（たとえば strcpydst,"Hello World!"...

OGhidra

OGhidra 3 - 基于 Ghidra 的 AI 驱动逆向工程 如需使用受 Claude 启发的 Orchestrator 版本，请参阅 https://github.com/llnl/OGhidra/tree/orchestrator OGhidra 将大型语言模型与 Ghidra 的逆向工程平台连接起来，通过自然语言实现 AI 驱动的二进制分析。您可以以对话方式分析二进制文件、自动化复杂工作流，并通过本地 AI 模型保持完全隐私。 YouTube 设置教程 什么是 OGhidra？ OGhidra 为 Ghidra 增添 AI 能力，使您能够： 自然语言分析 -...

Enigma

Enigma Engine A native C++ reverse-engineering engine inspired by Ghidra's analysis pipeline. Enigma removes the JVM dependency and provides a standalone analysis core that can be embedded, extended, and integrated directly with native tools and AI systems. Current State Enigma is under active...

NeuroCore

NeuroCore 高性能结构化二进制分析与可视化工具 摘要 NeuroCore 是一款原生 macOS 工具，旨在通过高速可视化对二进制数据进行结构化分析。该应用借助 Metal Compute Shaders 实现图形处理单元上的通用计算（GPGPU），将原始二进制流实时映射到 Hilbert 空间填充曲线上。该投影有助于快速识别文件类型、熵分布和密码学异常，弥补了线性十六进制表示的局限。 引言 传统十六进制编辑器以线性、基于偏移量的格式呈现二进制数据，这掩盖了宏观尺度的结构模式和数据密度。NeuroCore 通过将线性数据投影到二维拓扑空间来解决这一启发式缺口。 核心投影依赖于...

B2R2

B2R2 B2R2 は、F で書かれた完全マネージドのバイナリ解析フレームワークです。リバースエンジニアリング、プログラム解析、バイナリレベルの検査のための豊富なアルゴリズム、関数、ツールを提供します。 B2R2 という名前は、スター・ウォーズの象徴的なロボット R2-D2 から着想を得ています。元々は B2-R2 と名付けられましたが、.NET の識別子や名前空間ではハイフンが許可されないため、後にハイフンなしの B2R2...

rzweb

RzWeb RzWeb 是一个基于浏览器的逆向工程界面，由编译为 WebAssembly 的 Rizin 提供支持。将二进制文件拖入应用，即可在浏览器中本地分析它，支持持久化会话、终端访问、缓存重新打开，以及专门的反汇编、反编译、交叉引用、控制流图和其他主要分析视图。Rizin 运行在 Web Worker 中，因此繁重的分析不会阻塞 UI。 截图 首页 终端 反汇编 反编译器 交叉引用 控制流图 十六进制转储 字符串 导入表...

strilight

Strilight v0.2.0 High-Performance Algebraic Loop Lifting & Exact Rational Recurrence Engine for Python and C %20/%20O\log%20N-orange.svg Overview: Why Iterate When You Can Solve? Traditional compilers, runtimes, and JIT engines such as GCC, Clang, PyPy, or Numba treat loops as repetitive...

rizin

Rizin Rizin 是一个逆向工程框架，源自 radare2 的分支，注重可用性、功能和整洁性。 Rizin 具有可移植性，可用于分析二进制文件、反汇编代码、调试程序，作为取证工具，作为能够打开磁盘文件的可脚本化命令行十六进制编辑器，以及更多用途！ 如果你想了解更多关于 Rizin 的信息，可以阅读官方 Rizin 书籍。 如何安装 请在我们的网页上查看安装说明。 如何构建 使用 meson 来编译和安装 Rizin。请确保获得更新版的 meson（例如，如果你的系统没有至少 0.55.0 版本，可以用 pip install meson 获取）。 克隆此仓库：...

pocket_disasm

Pocket Disasm 1つのMCPエンドポイント。多数の独立したIDALibセッション。 軽量でエージェントファーストの制御層。IDA Pro MCPツールセットを用いたヘッドレスバイナリ解析のためのものです。 !IMPORTANT Pocket Disasmは独立したオープンソースプロジェクトです。Hex-Raysとの提携、推奨、スポンサー、公式製品ではありません。 IDA ProおよびIDALibはHex-Raysの製品であり、個別に有効なインストールとライセンスが必要です。Pocket DisasmはIDA、IDALib、またはその他のHex-Raysソフトウェアを配布しませ...

pharos

Pharos Static Binary Analysis Framework The Pharos static binary analysis framework is a project of the Software Engineering Institute at Carnegie Mellon University. The framework is designed to facilitate the automated analysis of binary programs. It uses the ROSE compiler infrastructure develop...

pharos

Pharos 静态二进制分析框架 Pharos 静态二进制分析框架是卡内基梅隆大学软件工程研究所的一个项目。该框架旨在促进二进制程序的自动化分析。它使用劳伦斯利弗莫尔国家实验室开发的 ROSE 编译器基础设施进行反汇编、控制流分析、指令语义等。本软件根据 BSD 许可协议 发布。 当前版本是对先前版本的重大更新，增加了多种功能，包括对 OOAnalyzer 工具的改进、实验性路径分析代码、分区器改进、多线程以及许多其他较小的功能。 Pharos...

BinAIVulHunter

BinAIVulHunter 一个用于帮助在二进制文件中查找漏洞的 IDA PRO 插件。 使用 IDA PRO HexRays 反编译器结合 OpenAI（ChatGPT）在二进制文件中查找可能的漏洞。 免责声明：使用 AI 在二进制文件中查找漏洞时，返回的结果可能会产生误报，但该工具在我参与过的许多 CTF 比赛中都表现良好（简单/中等……部分困难）。 灵感来源于 Gepetto：https://github.com/JusticeRage/Gepetto 安装： 将 Python 脚本放入 IDA Pro 插件目录。 使用方法： 右键单击反编译代码，选择“在函数中查找可能的漏洞”...

miasm

What is Miasm? Miasm is a free and open source GPLv2 reverse engineering framework. Miasm aims to analyze / modify / generate binary programs. Here is a non exhaustive list of features: Opening / modifying / generating PE / ELF 32 / 64 LE / BE Assembling / Disassembling X86 / ARM / MIPS / SH4 /...

miasm

Miasm とは？ Miasm は、フリーかつオープンソース（GPLv2）のリバースエンジニアリングフレームワークです。 Miasm は、バイナリプログラムの解析・改変・生成を目的としています。以下は機能の非網羅的なリストです。 PE / ELF 32 / 64 リトルエンディアン / ビッグエンディアンのオープン・改変・生成 X86 / ARM / MIPS / SH4 / MSP430 のアセンブル・逆アセンブル 中間言語を用いたアセンブリのセマンティック表現 JIT を使用したエミュレーション（動的コード解析、アンパッキングなど） 自動難読化解除のための式簡略化 など...

rizin-notebook

Rizin Notebook rizinを使ったバイナリ解析のためのノートブック。各バイナリごとにメモ、コマンド、スクリプトを整理します。 rizin 0.7.0以降が必要です。 機能 各ノートブックのページ は1つのバイナリに紐づいています。バイナリ自体、そのSHA-256ハッシュ、およびセル のリストを保存します。 コマンドセル - rizinコマンドとその出力 スクリプトセル - サーバー上でrizinパイプに対して実行されるJavaScriptスニペット マークダウンセル - 自由形式のメモ...

angr

angr angr is a platform-agnostic binary analysis framework. It is brought to you by the Computer Security Lab at UC Santa Barbara, SEFCOM at Arizona State University, their associated CTF team, Shellphish, the open source community, and @rhelmot. Project Links Homepage: https://angr.io Project...

angr

angr angr はプラットフォームに依存しないバイナリ解析フレームワークです。 UC Santa Barbara の Computer Security Lab、Arizona State University の SEFCOM、それらの関連 CTF チーム Shellphish、オープンソースコミュニティ、そして @rhelmot によって提供されています。 プロジェクトリンク ホームページ: https://angr.io プロジェクトリポジトリ: https://github.com/angr/angr ドキュメント: https://docs.angr.io API...

idasql

IDASQL 让任何 AI 智能体都能理解编译后的二进制文件。 IDASQL 是 IDA Pro 数据库的 SQL 接口，由 Elias Bachaalany 创建。它提供 30+ 个虚拟表，涵盖函数、交叉引用、字符串、类型、导入、反汇编和反编译。使用你的编码智能体中的 /idasql 技能即可完全无头工作——智能体在后台为你运行 IDA——或者打开 IDA 的界面，与你的编码智能体协作共同进行逆向工程。无需 IDAPython。无需脚本。只需 SQL。 为什么选择 SQL？ SQL 是每个 AI 智能体都已经掌握的通用查询语言。IDASQL...

Ropper

Ropper Ropper を使用すると、さまざまなファイル形式のバイナリファイルに関する情報を表示したり、さまざまなアーキテクチャ（x86/X8664、ARM/ARM64、MIPS/MIPS64、PowerPC/PowerPC64、SPARC64）向けのROPチェーンを構築するためのガジェットを検索できます。逆アセンブルには、素晴らしい Capstone Framework を使用しています。 インストール Capstone を PyPi でインストール: root@kitploit: $ sudo pip install capstone filebytes を PyPi...