AOTopsy Flutter/Dart 静态分析工具

使用条件与局限

• 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 的表数据另保留对应声明。

关于此条目

说明已依据一手来源复核。

报告条目过时 ↗建议修正翻译 ↗

一手来源

1. README.md GitHub · BroNils/aotopsy · 修订 01011df
2. go.mod GitHub · BroNils/aotopsy · 修订 01011df
3. LICENSE GitHub · BroNils/aotopsy · 修订 01011df
4. SECURITY.md GitHub · BroNils/aotopsy · 修订 01011df