mirror of
https://github.com/morluto/rea.git
synced 2026-11-05 06:45:22 +00:00
Closed
opened 2026-10-15 18:24:00 +00:00 by bsakaguchi
·
5 comments
No Branch/Tag specified
main
codex/procedure-reference-stacked
release-please--branches--main--components--rea-agents
release-please--branches--main--components--rea-agents--release-notes
codex/kuna-independent-retry
codex/byte-search-overlay-coverage
codex/open-failure-target-receipt
codex/kuna-xref-evidence
codex/ghidra-ambiguous-procedure-recovery
codex/function-source-bundle
codex/trace-function-integration-prototype
codex/snapshot-source-closure
codex/recorded-evidence-array-pages
codex/evidence-recovery-redesign
codex/trace-feature-address-scope
codex/call-discovery-scope
codex/ghidra-literal-candidate-evidence
codex/decompile-directory-independent-retry
codex/retry-provenance-base
codex/value-flow-capability-experiment
codex/ghidra-containing-instruction
cursor/readme-discord-button-ef9f
dependabot/github_actions/actions/setup-node-7.1.0
dependabot/github_actions/actions/upload-artifact-7.0.2
dependabot/npm_and_yarn/npm-minor-and-patch-d8d97ce6df
codex/kuna-1989
fix/8559-native-ui-fixture-ownership
fix/8555-go-verifier-mcp-ownership
codex/provider-capability-recovery
fix/8642-rizin-target-stdin
codex/ghidra-memory-effect-scope
codex/ghidra-annotation-entry-selector
codex/ghidra-readonly-recovery
codex/ghidra-regex-verifier-recovery
codex/evidence-discovery-view-guidance
fix/8545-bulk-append-overflow
fix/8428-navigation-refusal-alternatives
codex/address-context-recovery
codex/matching-member-limitations
codex/unknown-scope-contract
codex/evidence-view-guidance
feat/8373-native-trace-views
codex/ghidra-snapshot-verifier-binding
codex/elf-export-visibility
codex/evidence-view-recovery
codex/native-reference-cli-help
codex/provider-candidate-observation-scope
codex/kuna-session-verification
codex/ghidra-switch-lifetime-guidance
codex/pseudocode-paging-discovery
codex/clarify-evidence-view-support
codex/kuna-xrefs-selector-recovery
codex/context-capacity-recovery
codex/evidence-closure-large-links
codex/same-function-evidence-identity
codex/ghidra-verifier-inspected-jdk
codex/audit-guided-workflows
codex/crash-prompt-retained-dossiers
codex/analysis-view-error-recovery
codex/kuna-verifier-target-selection
codex/ghidra-selected-project-call-coverage
codex/docs-native-analysis-scope
codex/ghidra-java-socket-boundary
codex/ghidra-retained-snapshot-verifier
codex/ghidra-search-inventory-facts
fix/8284-zero-argument-parameter-bindings
fix/8198-ui-action-handler-offset
fix/8257-elf-entry-label-identity
fix/8304-deferred-output-schema-projection
fix/8277-call-path-computed-target-uncertainty
fix/pr-8089-conflicts
fix/ci-static-duplicate-export
dependabot/npm_and_yarn/lint-staged-17.6.0
dependabot/github_actions/actions/download-artifact-8.0.2
dependabot/npm_and_yarn/write-file-atomic-8.0.0
dependabot/npm_and_yarn/canonicalize-5.1.0
dependabot/github_actions/actions/cache/restore-6.1.0
dependabot/npm_and_yarn/toon-format/toon-4.4.0
dependabot/github_actions/actions/deploy-pages-5.0.1
codex/review-fixes-pr-2403
codex/review-fixes-pr-2400
codex/process-terminal-width
codex/test-brittleness-cleanup
verify/7167-browser-connect-macos
fix/7167-browser-connect
feat/native-matching-allowance-setting
feat/browser-scenario-dry-run
test/managed-caller-parameters-20261024
codex/parser-fortythird-boundaries
fix/6926-pinvoke-platform-decorations-20261023
fix/6889-har-body-encoding-20261023
fix/6888-sqlite-schema-budget-20261023
fix/dependency-security-gates-6708
cursor/evidence-overwrite-rebase-b4ac
feat/4057-verify-native-exports
fix/windows-acl-observer-overhead-20261022
cursor/erlang-beam-restack-4476
cursor/pe-certificate-review-bf32
fix/6116-javascript-application-fs-errors
fix/6061-unmapped-runtime-script-unknown
feat/browser-scenario-summary
fix/pe-certificates
codex/verify-3407
cursor/rebase-5699
cursor/rebase-5352
cursor/rebase-5600
cursor/fix-cli-schema-omission-10a8
codex/audit-hopper-shutdown-reasons-20261021
fix/demangle-swift-omitted-record
fix/nib-boolean-value-types
cursor/cancellation-partial-observation-a5ac
fix/ib-object-limit-reasons
fix/electron-fuse-limit-advice
fix/kuna-doctor-dangling-cache
fix/fixed-budget-refusal-advice
fix/js-ipc-listener-dedup
fix/js-return-member-provenance
fix/dmg-integrity-retry-advice
fix/ida-doctor-readiness
fix/kuna-version-probe-output-drain
fix/legacy-swift-runtime-name-matching
fix/dylib-lazy-load-commands
fix/browser-scenario-startup-cancel
fix/swift-nested-punycode-classification
fix/compare-unselected-scopes
fix/objc-method-budget-coverage
fix/dmg-mounted-root-observations
audit/ci-tests-20261019-round2
release/6.7.0
fix/wabt-cleanup-retry-resolution
fix/electron-fuse-elf-pe-architecture
fix/native-plist-descriptor-ownership
fix/kuna-caller-cleanup-ownership
experiment/atomic-codemode-20261016
review/first-contributor-3776
fix/call-resolution-full-read-cycles
fix/member-mutation-selection-repeat
experiment/atomic-re-tools-20261015
perf/member-mutation-lazy-origins
perf/static-network-mutation-index
fix/hopper-startup-lifecycle
audit/3050-windows-proof-20261015
feat/windows-window-capture-2183
audit/3049-windows-proof-20261015
audit/3735-macos-fixtures-20261015
fix/batch-decompile-null-pseudocode
fix/kuna-inventory-honors-jobs
experiment/browser-codemode-tool-design-20261015
fix/hopper-clean-runtime-argv
codex/review-2049-27f1b367
review-fixes/pr-2787-routing
fix/3360-scoped-this-emitters
fix/3367-replaced-global-effects
fix/3838-compact-any-value-items
test/hopper-download-probe-20261015
codex/windows-runtime-creation-red-green-20261015
codex/windows-readonly-root-red-green-20261015
codex/windows-root-share-red-green-20261015
codex/exp-1685-win-mcp-startup
codex/bug-sweep-20261015
investigate/2190-windows-package-phases
investigate/3543-macos-cli-deadline
perf/3281-reverse-tools-feedback-quality
fix/3406-hopper-doctor-fixture
fix/3341-wrapper-require-test-context
fix/3301-owned-uninstall-fixtures
fix/3164-compiler-input-ownership
fix/pcap-cleanup-stdout-newline-20261014
perf/interface-builder-summary
codex/review-fixes-pr-1977
fix/ghidra-effective-jvm-platform
fix/docs-turkish-rust-link-20261013
fix/main-maintenance-ci-20261010
fix/recover-binary-session-process-effects
codex/review-fixes-pr-2457
codex/ci-required-cancellation-gate
fix/main-format-baseline-20261013
fix/setup-preserve-entry-fields
cursor/restore-main-checks-1ffc
fix/ghidra-bridge-hashmap-import
codex/shared-ci-jadx-json-default-20261013
codex/shared-ci-ghidra-test-groups-20261013
codex/shared-ci-java-fixture-format-20261013
codex/fix-intrinsic-invocation-boundaries
test/release-preflight-reusable-jobs
test/js-parameter-provenance-expectation
fix/linux-hopper-verification-current
test/2419-ghidra-elf-probe-size
followup/pr-1544-native-ida
codex/fold-pr-2230-contribution
docs/readme-responsible-use
fix/issue-2064
fix/issue-2050
fix/issue-2053
fix/issue-1968
fix/issue-1945
experiment/codemode-bridge-20261011
fix/tool-effects-negative-wording-1904-20261012
fix/1842-electron-interop-provenance
feat/recover-javascript-multi-input
refactor/website-i18n-prep
fix/nativeaot-pe-virtual-extent
fix/browser-verifier-ci-hang
fix/pe-resources-input-selection
docs/beginner-friendly-guides
docs/beginner-setup-guide
fix/javascript-analysis-worker-1563
fix/1649-ghidra-duplicate-names
fix/javascript-export-keys-integration-1369
test/maintenance-boundary-contracts-20261011
review/javascript-export-keys-1369
review/process-live-progress-1483
test/javascript-1495-growth-ratio
fix/ci-escape-timing
docs/normalized-terminal-geometry-1450
release/6.3.0
archive/release-6.3.0-pr1381
release/6.2.0
fix/electron-preload-dynamic-override
fix/javascript-self-referential-bundler-edges
release/6.1.0
cursor/grok-client-cherry-pick-0b56
feat/signature-posture
feat/dyld-shared-cache
feat/artifact-integrity-policy
feat/pkg-inventory
release/6.0.0
chore/sync-release-5.0.0
release/5.0.0
cursor/cloud-agent-node-787e
fix/javascript-xhr-open-endpoints
review/pr-711-realpath-fallback-wording
cleanup/replay-confinement
codex/test-suite-performance
codex/issue-foundations
codex/address-open-issues-2026-07-20
agent/javascript-vite-rollup-esbuild-adapters
agent/process-cleanup
agent/triage-integration
agent/unknown-commands-registry
feat/mcp-identity-metadata
morlvps/issue_cleanup
codex/installer-redesign
morl/roadmap-investigation-core
morl/roadmap-investigation-docs
release-please--branches--main--components--rea
rea-agents-6.8.0
rea-agents-6.7.0
rea-agents-6.6.0
experiment/atomic-codemode-wait-runtime-20261016
rea-agents-6.5.0
rea-agents-6.4.0
rea-agents-6.3.0
rea-agents-6.2.0
rea-agents-6.1.0
rea-agents-6.0.0
rea-agents-5.0.0
rea-agents-4.1.0
rea-agents-4.0.1
rea-agents-4.0.0
rea-agents-3.2.1
rea-agents-3.2.0
rea-agents-3.1.0
rea-agents-3.0.0
rea-agents-2.7.0
rea-agents-2.6.0
rea-agents-2.5.1
rea-agents-2.5.0
rea-agents-2.4.0
rea-agents-2.3.0
rea-agents-2.2.0
rea-agents-2.1.0
rea-agents-2.0.0
rea-agents-1.7.0
rea-agents-1.6.0
rea-agents-1.5.0
rea-agents-1.4.0
rea-agents-1.3.0
rea-agents-1.2.0
rea-agents-1.1.0
rea-agents-1.0.0
rea-agents-0.5.0
rea-agents-0.4.0
rea-agents-0.3.0
rea-0.2.1
rea-0.2.0
Labels
Clear labels
area: bridge
area: bridge
area: build
area: build
area: build
area: cli
area: domain
area: evidence
area: mcp
area: native
area: providers
area: runtime
area: server
area: setup
area: tests
bug
design
documentation
enhancement
enhancement
enhancement
experiment
help wanted
i18n
invalid
P0: critical
P1: high
P2: medium
P2: medium
P2: medium
P3: low
performance
provider-request
pull-request
Mirrored from GitHub Pull Request
question
roadmap
triage
No labels
area: bridge
area: bridge
area: build
area: build
area: build
area: cli
area: domain
area: evidence
area: mcp
area: native
area: providers
area: runtime
area: server
area: setup
area: tests
bug
design
documentation
enhancement
enhancement
enhancement
experiment
help wanted
i18n
invalid
P0: critical
P1: high
P2: medium
P2: medium
P2: medium
P3: low
performance
provider-request
pull-request
question
roadmap
triage
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".
No due date set.
Dependencies
No dependencies set.
Reference
morluto/rea#333
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @bobjonesrocks67-sudo on GitHub (Oct 6, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/744
Before submitting
Area
Native analysis or decompilation
Observed behavior
Currently, the agent hits a wall when trying to reverse engineer or reconstruct C# source code from .NET 8 NativeAOT compiled binaries. The agent notes that REA / Ghidra is only extracting raw x86_64 assembly and cannot reconstruct or lift the binary back to a readable C# project state. We spoke in Discord and you mentioned adding support for it.
Reproduction
Expected behavior
Implement a workflow or specific tooling to lift NativeAOT binaries into a more readable format, as discussed.
Impact and scope
Agent cannot decompile or reconstruct NativeAOT binaries, effectively walling off analysis on modern .NET 8 compiled executables.
REA version
Latest MCP deployment
Runtime and platform
Windows x64
Target and artifact context
.NET 8 NativeAOT single-file executable
Interface
MCP
Earliest failure stage
Native analysis or reconstruction
Relevant output or evidence
Typed outcome or recovery expected
The tool should attempt to lift .NET NativeAOT structures, or at least identify it as NativeAOT and parse available metadata instead of failing back to raw unreadable assembly.
Analysis or suspected cause
NativeAOT compilation strips C# IL and metadata, leaving only x86_64 assembly. REA currently treats it as a standard native binary instead of attempting to rebuild or de-obfuscate .NET structures.
Additional context
Requested via Discord conversation with the repository owner.
@N0zoM1z0 commented on GitHub (Oct 6, 2026):
#748 adds verified NativeAOT metadata recovery and readable native pseudocode for .NET 8.0.22 x64 ELF / Windows PE targets analyzed on Linux, plus agent guidance to continue native analysis and distinguish generated metadata from original C# names/source. Real Windows PE proof recovered hierarchy, interfaces, virtual slots and frozen strings; representative arithmetic pseudocode is
return param_2 * 0xb + 5;.Keeping this report open: its Windows-host workflow is not verified/supported by this integration. Windows Ghidra P0 retains its existing no-mutation boundary; Linux analysis of a Windows target is a different claim. This also does not reconstruct original C# source or custom field layouts.
@morluto commented on GitHub (Oct 9, 2026):
Triage note (2026-10-09): keeping open. #748 is merged and delivers Linux-host NativeAOT metadata recovery plus readable native pseudocode, but per #748's own scoping note the Windows-host workflow in this report remains open (Windows Ghidra P0 has no mutation authority). The remaining ask here — a usable Windows-host NativeAOT workflow — is still unaddressed.
@pablodiazjorge commented on GitHub (Oct 11, 2026):
Windows-host results for the part of this issue that is still open. Host: Windows 11 x64, non-elevated, rea
mainatfb43dd97, Ghidra 12.1.4, Temurin 21.Fixture.
scripts/generate-nativeaot-fixtures.mjson Windows with .NET SDK 8.0.416:PASS source-built win-x64 NativeAOT fixture, independent RTR 9.1 oracle and SHA-256 157a3b54…f9b95552; no target execution. One host note: ILCompiler 8.0'sfindvcvarsall.batonly looks for Visual Studio 2019 or 2022 (vswhere -version [16,18)), so with only Build Tools 2026 installed the publish fails with "Platform linker not found". It builds after calling Build Tools 2026'svcvars64.batand settingIlcUseEnvironmentalTools=true.Checks. The read-only parts of
verify-real-ghidra-nativeaot.mjs(symbols mode) over MCP, withoutREA_GHIDRA_NATIVEAOT_JAR, comparing with the oracle and the linker map (NativeAotFixture.map):open_binarywith Ghidrainspect_native_load_imagemetadata recoverydotnet-nativeaot,complete, RTR 9.1,signature-heuristic, 324 method tables and 324 typesCompute)summary.typesidentity at the derived method tabletype: null, since no database type exists without the adapterinspect_native_data_typebyaddressat the derived method tableoriginal_name: null), and the method table, base type, interface and a virtual slot reachingComputeall match the mapanalyze_functiononComputereturn param_2 * 0xb + 5;analyze_functiononDispatchread_bytesat the first virtual slot (0x1400a9228)complete: falsesearch_stringsfor the three frozen stringsWhy the last two fail. The method tables and frozen objects live in the
hydratedsection, which is BSS (0 bytes on disk) at0x14009a000and is filled from dehydrated data at startup. The file holds no bytes there, and the frozen strings do not appear in it in UTF-16 or ASCII. Without the adapter writing rehydrated memory into the database, which Windows P0 does not allow, REA reports those bytes as unavailable instead of inventing them. That fits the P0 boundary rather than being a bug.So, on a Windows host today: metadata recovery through the snapshot parser and decompilation work; frozen strings and raw reads inside
hydratedneed the adapter, so they stay Linux-only. If useful, I can open a docs PR forwindows-ghidra-p0.mdandghidra-nativeaot.mdwith exactly this split, theinspect_native_data_typebyaddressroute whentypeis null, and the Build Tools 2026 note. Would you prefer that, or a different follow-up?@matbrgz commented on GitHub (Oct 12, 2026):
.NET NativeAOT Reverse Engineering Strategy Notes
Decompiling .NET 8/9 NativeAOT binaries presents different challenges than standard managed .NET (CIL):
#Strings/#BlobECMA-335 tables to decompile with ILSpy.MethodTable,EEType, interface dispatch maps, and reflection blobs). Implementing a static NativeAOT type descriptor parser can recover high-level class hierarchies, method names, and virtual dispatch tables to annotate the native disassembly.@morluto commented on GitHub (Oct 14, 2026):
Closing the minimum requested NativeAOT metadata/native-analysis workflow as addressed in qualified main
fffb07419.The Windows-host MCP results already recorded in this issue verify the previously missing host path:
inspect_native_load_imageidentified NativeAOT/RTR 9.1, address-basedinspect_native_data_typerecovered method-table/base/interface/virtual-slot relationships against an independent map, andanalyze_functionreturned readable native pseudocode. Those are the reporter's runtime results, not a new engine run by this audit. Current docs preserve the Windows P0 read-only boundary and distinguish generated names from original C# source.Reconstructing the original C# project is not claimed. Hydrated-section raw bytes and frozen strings still require the adapter and remain outside Windows P0's mutation authority. Current CI's NativeAOT job builds the fixture; it does not repeat Windows-host Ghidra analysis. These limits do not negate the report's alternative request to identify NativeAOT and parse available metadata.