[PR #7238] fix(flutter): identify source-defined Dart VM versions #7739

New issue

Open

opened 2026-11-03 13:40:02 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-11-03 13:40:02 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/7238
Author: @coyoteXujie
Created: 10/26/2026
Status: 🔄 Open

Base: main ← Head: coyotexujie-flutter-version-reporting

📝 Commits (10+)

f4b7b4e fix(flutter): identify source-defined Dart VM versions
97ee950 refactor(evidence): unify retained inputs across domains (#8299)
1278988 fix(ghidra): decide batch names independently of request order (#8306)
55f2e09 fix(ghidra): report unbacked file-offset addresses without schema repair (#8308)
8245fc2 fix(native): separate value-trace page omission from traversal truncation (#8309)
415d673 fix(decompile): keep provider no-pseudocode facts on batch items (#8323)
0f6a164 fix(ghidra): assemble the Swift verifier's unresolved-jump fixture before linking (#8325)
b433a90 test: strengthen integration oracles and verification (#8295)
f8fa5dd feat(guidance): distinguish focused matches from broad parent sections (#8305)
ef2c3a3 perf(process): reuse a verified Darwin ownership helper across processes (#8318)

📊 Changes

9 files changed (+227 additions, -168 deletions)

View changed files

📝 .npmrc (+1 -1)
📝 docs/flutter-analysis.md (+36 -40)
📝 scripts/fixtures/flutter-gallery-expectations.json (+3 -3)
📝 src/contracts/flutter/flutterToolContracts.ts (+2 -2)
📝 src/domain/flutter/flutterBuildAnalysis.ts (+22 -26)
📝 src/flutter/FlutterBuildProvider.ts (+7 -7)
📝 src/flutter/FlutterPayloadScan.test.ts (+80 -71)
📝 src/flutter/FlutterPayloadScan.ts (+44 -17)
📝 tests/boundary/filesystem/flutterBuildProvider.test.ts (+32 -1)

📄 Description

Summary

识别 libflutter.so 中无标签的 Dart VM 版本字符串(源码定义的 Version::String 格式)
修复原先只认带标签版本字符串导致版本信息缺失的问题
更新相关测试和文档

Test plan

npm run test:local -- src/flutter/FlutterPayloadScan.test.ts
npm run test:focused -- tests/boundary/filesystem/flutterBuildProvider.test.ts
npm run check:fast -- --force
npm run docs:check

Author readiness

Human owner: @coyoteXujie

I reviewed the final diff and relevant existing code, understand the change and its edge cases, and take responsibility for the complete PR, including AI-assisted work.
I checked the evidence above, confirmed it supports the current change, and recorded meaningful validation gaps.
I declare this PR ready for initial maintainer review.

🤖 Generated with Copilot

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/7238 **Author:** [@coyoteXujie](https://github.com/coyoteXujie) **Created:** 10/26/2026 **Status:** 🔄 Open **Base:** `main` ← **Head:** `coyotexujie-flutter-version-reporting` --- ### 📝 Commits (10+) - [`f4b7b4e`](https://github.com/morluto/rea/commit/f4b7b4e72d0884990ed23fa2a974d0088e2f6605) fix(flutter): identify source-defined Dart VM versions - [`97ee950`](https://github.com/morluto/rea/commit/97ee950d5d3c93158b9f52ac515aa69d7875b43d) refactor(evidence): unify retained inputs across domains (#8299) - [`1278988`](https://github.com/morluto/rea/commit/1278988a0ace07f1278341475853ba0eff28d19b) fix(ghidra): decide batch names independently of request order (#8306) - [`55f2e09`](https://github.com/morluto/rea/commit/55f2e0925109983342d4ecdcb000fb9bcb9f465e) fix(ghidra): report unbacked file-offset addresses without schema repair (#8308) - [`8245fc2`](https://github.com/morluto/rea/commit/8245fc2bd0215d6db7af7265282d2725b6ee7b94) fix(native): separate value-trace page omission from traversal truncation (#8309) - [`415d673`](https://github.com/morluto/rea/commit/415d673eafbcb508a87340ddaa9e54a74c5d69ce) fix(decompile): keep provider no-pseudocode facts on batch items (#8323) - [`0f6a164`](https://github.com/morluto/rea/commit/0f6a16459516d3b56b21f2260bf3b54575dcb92c) fix(ghidra): assemble the Swift verifier's unresolved-jump fixture before linking (#8325) - [`b433a90`](https://github.com/morluto/rea/commit/b433a90f6a3d775de19ed2a11e0740e71985e8b4) test: strengthen integration oracles and verification (#8295) - [`f8fa5dd`](https://github.com/morluto/rea/commit/f8fa5dd1b4bf00be746a5ab845d598aba9e1dd6d) feat(guidance): distinguish focused matches from broad parent sections (#8305) - [`ef2c3a3`](https://github.com/morluto/rea/commit/ef2c3a3534515002b7f3ecd8a35030e1669ff07a) perf(process): reuse a verified Darwin ownership helper across processes (#8318) ### 📊 Changes **9 files changed** (+227 additions, -168 deletions) <details> <summary>View changed files</summary> 📝 `.npmrc` (+1 -1) 📝 `docs/flutter-analysis.md` (+36 -40) 📝 `scripts/fixtures/flutter-gallery-expectations.json` (+3 -3) 📝 `src/contracts/flutter/flutterToolContracts.ts` (+2 -2) 📝 `src/domain/flutter/flutterBuildAnalysis.ts` (+22 -26) 📝 `src/flutter/FlutterBuildProvider.ts` (+7 -7) 📝 `src/flutter/FlutterPayloadScan.test.ts` (+80 -71) 📝 `src/flutter/FlutterPayloadScan.ts` (+44 -17) 📝 `tests/boundary/filesystem/flutterBuildProvider.test.ts` (+32 -1) </details> ### 📄 Description ## Summary - 识别 libflutter.so 中无标签的 Dart VM 版本字符串(源码定义的 Version::String 格式) - 修复原先只认带标签版本字符串导致版本信息缺失的问题 - 更新相关测试和文档 ## Test plan - [x] npm run test:local -- src/flutter/FlutterPayloadScan.test.ts - [x] npm run test:focused -- tests/boundary/filesystem/flutterBuildProvider.test.ts - [x] npm run check:fast -- --force - [x] npm run docs:check ## Author readiness Human owner: @coyoteXujie - [x] I reviewed the final diff and relevant existing code, understand the change and its edge cases, and take responsibility for the complete PR, including AI-assisted work. - [x] I checked the evidence above, confirmed it supports the current change, and recorded meaningful validation gaps. - [x] I declare this PR ready for initial maintainer review. 🤖 Generated with [Copilot](https://github.com/features/copilot) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi added the

pull-request

label

2026-11-03 13:40:02 +00:00

bsakaguchi referenced this issue

2026-11-05 06:45:36 +00:00

[GH-ISSUE #8969] [Bug] Devicetree views silently select the first duplicate node path in imported Evidence #7871