v1.2.0

Changelog

• b40c454: v1.2.0: Architecture refactor, SSA fixpoint, FPU/SIMD, evidence engine & QA hardening (#10) (@BroNils)

v1.1.0

Changelog

• e2ca92f: v1.1.0 — reliability & public trust: published accuracy, signed releases, fuzz-hardened parser (#9) (@BroNils)

AOTopsy v1.0.0

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.