Skip to content

AOTopsy v1.0.0

Choose a tag to compare

View all tags
@BroNils BroNils released this 25 Aug 18:23
· 4 commits to main since this release
v1.0.0
7b3ca30

AOTopsy v1.0.0

First stable release. A Dart AOT snapshot analyzer that turns a Flutter release libapp.so into function names, class layouts, call graphs, behavioral signals, and readable pseudocode — no Dart VM or SDK required.

Highlights

  • SSA canonical-register value-graph decompiler — one value slot per physical register (ARM64 w/x, x86 sub-registers), ~90% raw-register reduction over baseline with identical CFG coverage, ground-truth-verified against real disassembly.
  • Whole-project reconstruction — arity, idioms (collection/string/null-aware/cascade), async/await state-machine linearization, closures/lambdas, abstract type lattice, and export-dart for a modular .dart project.
  • 19-version ground-truth corpus with an external symtab differential gate (agreement floor 0.81), Dart 2.10 → 3.13, ARM64 + x86_64.
  • Quality gate: 100% valid Dart, zero fabrication.

Downloads

Prebuilt static binaries (pure Go, no dependencies):

Platform Archive
Linux x86_64 aotopsy_v1.0.0_linux_amd64.tar.gz
Linux arm64 aotopsy_v1.0.0_linux_arm64.tar.gz
macOS Intel aotopsy_v1.0.0_darwin_amd64.tar.gz
macOS Apple Silicon aotopsy_v1.0.0_darwin_arm64.tar.gz
Windows x86_64 aotopsy_v1.0.0_windows_amd64.zip

Verify with SHA256SUMS.txt.

Branch model

main is stable/released; develop is the rolling integration branch. See the README.

Assets 8
Loading