INTERNAL / SOFTWARE REVERSE

越过文件表面。
读懂内部逻辑。

让样本身份、引擎状态和证据来源先清晰,再谈函数、算法与协议的理解。逆向不等于源码复原,也不等于漏洞挖掘。

SAMPLE IDENTITY

同一份样本。
同一条证据链。

按 SHA-256 登记身份,关联任务与会话。文件名只是标签,打开分析前重新核对内容哈希。

128 MiB 当前源码中的单文件上限,非吞吐实测
sample_manifest / 示例
sample_sha256: a72f…91c0
analysis_domain: software_re
provider: operator-reviewed
session: exclusive lease
address_kind: rva | va | file_offset
conclusion: observed ≠ inferred

仅为字段关系示意,不是一次真实引擎运行输出。

01 / IMPLEMENTATION REGISTER

能力有状态,
边界有说明。

01 / SOURCE IMPLEMENTED

样本库

流式上传、哈希去重、任务关联和基础静态元数据。

源码已落地 · 未运行验收
02 / SOURCE IMPLEMENTED

受管 Provider

真实 tools/list、schema 哈希与操作员审核映射。

源码已落地 · 未运行验收
03 / SOURCE IMPLEMENTED

会话与租约

每个 Provider 独占会话,取消或重启后保留不确定租约。

源码已落地 · 未运行验收
04 / SOURCE IMPLEMENTED

函数与证据

按明确字段映射归一化,保留原文、输入与来源引用。

源码已落地 · 未运行验收
05 / NOT YET VERIFIED

引擎专用门控

REA 实时能力、Ghidra / IDA 版本与返回结构适配待联调。

待验证 / 规划
06 / PLANNED

Android 与跨模块调用

DEX/JADX、自动路径求解和完整调用图尚未实现。

待验证 / 规划
02 / PROVIDER ≠ READINESS

看见工具目录,
不等于引擎已经就绪。

REA、Ghidra 和 IDA 的能力取决于真实插件版本、安装、许可证、目标架构与运行状态。当前通用适配不会猜测参数。

PROVIDER / 01REA

操作映射 + 实际工具 schema
待真实环境联调与验收

PROVIDER / 02Ghidra

操作映射 + 实际工具 schema
待真实环境联调与验收

PROVIDER / 03IDA

操作映射 + 实际工具 schema
待真实环境联调与验收

03 / EVIDENCE BEFORE INTERPRETATION

原始输出,与解释分开。

SOURCE

保留正文

单次正文保留上限为 1 MiB。超限保留前缀并标记截断,不假称保存完整响应。

INTEGRITY

区分两种哈希

完整接收输出与实际保留正文分别计算 SHA-256。哈希不能复原已经丢弃的正文。

INTERPRETATION

标记推断

操作员解释标记为 inferred,并引用具体证据;不把自动生成的文字视为已验证行为。

BEYOND THE SURFACE.

不止发现问题。
更要理解系统。

从架构开始了解

搜索 ARTEX 网站

↑ ↓ 选择 · Enter 前往 本地搜索,不发送搜索内容