工具

AOTopsy Flutter/Dart 静态分析工具

静态检查 Flutter/Dart AOT libapp.so 文件,恢复可用元数据、类结构、调用关系及伪代码,无需嵌入 Dart VM 或编译匹配的 SDK,提供 ARM64 与 x86_64 分析路径。

使用条件与局限

  • go.mod 要求从源码构建时使用 Go 1.25.4(README 表述为 1.25+)。需提供受支持的 libapp.so AOT 快照;所审阅 README 建模覆盖 Dart 2.10–3.13,不支持 JIT 快照。
  • Ghidra/IDA 集成仅支持 ARM64。发布构建会删除大部分实例字段名和局部/捕获变量名,多态分派与虚调用可达性分析仍有限制。重建的 Dart 输出不保证是原始源码或行为等价源码。
  • 不加限制的 --all 反编译可能需要约 64 GB 内存,应使用定向或设有上限的分析。准确率和语法测量由作者报告;不可再分发的基准真值语料测试不会在公共 CI 中运行。
  • 采用 BSD-3-Clause。AOTopsy 保留对原始 unflutter 项目及作者的署名,来自 Dart SDK 的表数据另保留对应声明。

关于此条目

类型
工具
类别
Android 工具
关联
基础工具
目标
应用 · 二进制

来源复核于

说明已依据一手来源复核;这不代表已运行验证、经过安全审计或确认兼容。

一手来源

  1. https://github.com/BroNils/aotopsy/blob/01011df108eaf5a0c1757cf5842115f9fb8b6303/README.md
  2. https://github.com/BroNils/aotopsy/blob/01011df108eaf5a0c1757cf5842115f9fb8b6303/go.mod
  3. https://github.com/BroNils/aotopsy/blob/01011df108eaf5a0c1757cf5842115f9fb8b6303/LICENSE
  4. https://github.com/BroNils/aotopsy/blob/01011df108eaf5a0c1757cf5842115f9fb8b6303/SECURITY.md