rea 静态分析 Android APK 完整指南：JADX headless 引擎集成与结果解读实战

rea 静态分析 Android APK 完整指南JADX headless 引擎集成与结果解读实战【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rearea 用 JADX headless 引擎做 Android APK 静态分析APK 全程不会被执行。这篇指南回答四个问题环境怎么供给、五条命令怎么用、输出里的状态字段怎么读、超时与清理边界在哪里。适合拿到 APK 想反编译看类和方法、但没接触过 rea 的开发者。 先说边界这套能力能做什么、不能做什么能做的五件事全部是静态操作包级检查声明、解码后的 manifest、权限、类与资源计数类名搜索空查询可全量清点单类成员清点字段、内部类、展示类型单方法反编译支持显式选择重载引用追踪看谁引用了某个类或方法明确做不到的30 秒判断不执行 APK没有运行时观测不处理 split APK / AAB.aab后缀是 ZIP 归档不是 APK不做签名校验、不做完整资源表语义分析不做 native 库分析、不做 Android 运行时捕获⚙️ 5 分钟跑通JDK 17 怎么配、第一条命令是什么rea 不安装 Java、Android SDK、JADX、设备服务或模拟器所有工具由你供给。最低要求两样需要要求原因JDK完整 JDK 17 或更新必须含jdk.compiler模块rea 以 source-file 模式对未修改的引擎 JAR 编译元数据桥可运行的 JRE 编不了它引擎 JARjadx-headless-mcp 0.7.1 的 all-in-one JAR版本与内容被双重锁定见 src/android/JadxRelease.ts发布 JAR 的 SHA-256 是6e5eacf500b64292bfb73c49797c1958f6ee44646e43e868039ae7feb573ff75上游提交号5844800a486d2248fa949b74c9896285f5b54de2下载后先对照 src/android/JadxRelease.ts 里的固定元数据核一遍再使用。然后设置环境变量并执行第一条命令export REA_JADX_MCP_JAR/absolute/path/jadx-headless-mcp-0.7.1-all.jar # 可选指定一个现成的 JDK而不是 PATH 上的 java export JAVA_HOME/absolute/path/existing-jdkrea inspect-android-package /path/Example.apkREA_JADX_MCP_JAR必须指向绝对路径的常规可读文件rea 最终按realpath归一JAVA_HOME若设置必须绝对且$JAVA_HOME/bin/java要是常规可执行文件都不设置时用 PATH 上的java。这些变量只在 Android 操作被选中时才解析逻辑在 src/android/JadxConfiguration.ts。另外该功能族存在于仓库 main 分支与 npm 4.1.0选择前先核对已发布包边界安装文档 的 released package and main 一节和目标服务器的工具列表。 核心操作逐个拆按使用频率排CLI 命令在 src/cli/androidCommands.ts 注册MCP 侧对应同名下划线方法每个请求都带path。1. 包级检查应用声明、权限和计数rea inspect-android-package /path/Example.apk结果看点保留解码后的 manifest XML、摘要声明、权限、类/资源计数。摘要字段由上游引擎抽取需要时对照保留的 XML 核查signature_verification恒为not_performed。2. 类名搜索子串匹配与全量清点rea search-android-classes /path/Example.apk MainActivityquery是大小写敏感的类名子串空串列出全部类名MCP 方法search_android_classes。结果看点rea 消费所有分页并核对计数任何total/offset/limit漂移、重复条目或总数与加载时class_count不符都会抛AnalysisOutputError。3. 类清点字段、内部类、重载索引从哪来rea inspect-android-class /path/Example.apk example.MainActivityclass_name要求精确的全限定类名。结果看点读的是解析后的元数据而非生成的源码返回完整展示类型、字段与内部类名代码生成隐藏的 synthetic 成员可能出现。同名方法按引擎返回顺序分配从 0 起的overload_index下一个操作就靠它。4. 方法反编译重载怎么选rea inspect-android-method /path/Example.apk example.MainActivity onCreate rea inspect-android-method /path/Example.apk example.MainActivity select --overload-index 1method_name是精确声明名overload_index非负整数且可选。结果看点同名方法多于一个而没给索引会被拒绝无函数体的 native/abstract 方法返回body_status: not_available静态初始化器clinit以 smali 返回并带static_initializer_disassembly标记。5. 引用追踪谁在用它rea trace-android-references /path/Example.apk example.MainActivitymethod_name可选省略时追踪类级引用给定时追踪方法。结果看点目标方法存在多个重载时该边界报告 unsupported因为引擎的引用操作无法选择重载。MCP 侧参数一览方法名均为下划线形式方法必填可选inspect_android_packagepath—search_android_classespath、query空串全量—inspect_android_classpath、class_name—inspect_android_methodpath、class_name、method_nameoverload_indextrace_android_referencespath、class_namemethod_name、overload_indexCLI 与 MCP 走同一条应用工作流src/application/android/AndroidAnalysisService.ts并内联返回与产物绑定的 Evidence而不是只给一行反编译文本。 结果怎么读别被输出骗了同名方法为什么会被拒绝rea 用get_class_summary拉成员清单按引擎返回顺序为同名方法分配overload_index。请求没带索引而候选多于一个时它直接拒绝并在错误消息里列出所有候选签名——不猜、不默认选第一个。引擎的 smali 回退会把同名重载的函数体拼接在一起rea 对重载方法拒绝这个回退抛AnalysisCapabilityUnavailableError避免把全部函数体归因到某一个被选中的重载上。partial 和 not_available 分别意味着什么完整文本结果不等于完整语义或字节级一致的重建——反编译源码是派生表示。上游对解码 manifest 与方法文本设了 1 MiB 字节预算超限即截断normalizeJadxText识别上游截断标记并把状态标为partial。无函数体的方法返回body_status: not_availablerea 不推断是哪个实现标志导致的。Evidence 里到底留了什么原始请求、APK SHA-256、实际引擎 JAR SHA-256 与 producer 原始响应都留在 Evidence 里src/android/JadxSession.ts 的rawResult含 server 版本、桥 SHA-256、JAR SHA-256、加载状态与每次工具调用的原始响应。source_revision仅当字节匹配审计发布 JAR 时才填充否则为null。中途失败时错误的details.partial_observation保留失败前收集的每次上游请求与响应。⚠️ 边界与坑官方不写在首页的几件事平台支持平台状态macOS支持真实验证环境是 arm64 OpenJDK 21 公开 Appium ApiDemos fixtureLinuxPOSIX 适配已支持新桥尚未在 Linux/JDK 25 上完成真实验证Windows该 provider 的自持 stdio 进程边界不受支持超时与字节预算边界值说明操作执行期限到达队首后120 秒OPERATION_TIMEOUT_MS 120_000每次callTool也带 120s 超时上游反编译上限90 秒引擎侧边界manifest 与方法文本1 MiB截断并上报状态标partial类名分页每片最多 4,096 个名称searchClasses的pageSize 4096单条协议帧8 MiBsrc/android/JadxMcpTransport.ts 的MAX_FRAME_BYTES单操作 stdout/stderr 合计32 MiB超限以诊断失败而不是把不完整清单当完整返回会话复用与清理规则复用键是 APK 路径 APK SHA-256 JAR 路径与哈希 桥哈希 Java 可执行 JVM 参数 相关 Java 环境变量的 JSON键不同就退役旧会话再启新的准入前重新哈希 APK 比对target.sha256文件在准入后变化报 APK bytes changed after admission会话在 60 秒空闲、目标/配置变化、失败、超时、取消、MCP 断开或服务器关闭后清理一次性 CLI 命令返回前总是 join 清理rea 从不写回原始 APK也不启动目标代码清理无法确认时保留工作区并报告位置rea-android-前缀的私有不可变副本该实例阻塞后续引擎启动直到你解决所报告的资源——ProviderCleanupError中携带runId与工作区路径JVM 与内存旋钮单个 JADX 分析 worker 独立于 JVM 处理器与 GC 设置load_apk固定threads: 1, resources: fullrea 不提供默认堆或可见 CPU 覆盖。export REA_JADX_HEAP_MIB8192 # 与单个 JADX worker 独立、可选 export REA_JADX_ACTIVE_PROCESSOR_COUNT4 # 也可以走 Java 的标准环境选项 export JAVA_TOOL_OPTIONS-Xmx8g映射为显式 JVM 参数-Xmx值m与-XX:ActiveProcessorCount值两个值都必须是正的 safe integer处理器计数还要落在 JVM 有符号 32 位范围内超过 2,147,483,647 直接拒绝。rea 保留JAVA_TOOL_OPTIONS、JDK_JAVA_OPTIONS、_JAVA_OPTIONS而不是替换它们。Evidence 报告的heap_limit_mib是该 worker 观测到的Runtime.maxMemory()向下取整的 MiB实际可分配堆可能与-Xmx不同尤其 Serial GC堆不是总 RSS 上限JVM 还使用 native 内存。不装任何东西也能跑真实验证仓库自带一条真实引擎验证车道fixture 下载脚本校验固定 SHA-256、复用匹配文件、拒绝覆盖不同的已有文件APK/JAR 落在被忽略的_reference/下不进入包内容。npm run fixtures:android export REA_JADX_MCP_JAR$PWD/_reference/apk-integration/jadx-headless-mcp-0.7.1-all.jar export REA_ANDROID_TEST_APK$PWD/_reference/apk-integration/ApiDemos-debug.apk npm run verify:androidscripts/verify/android/analysis.mjs 先断言 APK 与 JAR 哈希和 fixture/审计值一致再对五个操作逐一跑真实 CLI 与 MCP 请求与合成的协议回归测试相互独立不需要 Gradle 构建、模拟器、Android SDK 或 Ghidra。小结rea 的 Android 分析路线可以概括为固定引擎 显式供给 严格校验 证据留痕。它把 JADX 的每个输出都过契约校验、分页计数、哈希比对与字节预算用拒绝模糊换取结果的可引用性。它能回答这个类有哪些成员、这个方法反编译成什么样、谁引用了它这类静态问题它不能回答运行时实际调用了什么——APK 从不被执行split APK/AAB、签名校验、native 库分析都在边界之外。用之前先看能力清单别把边界当成能力。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考