[GH-ISSUE #345] Infer native API boundary types with evidence and confidence #191

Closed
opened 2026-10-15 18:22:15 +00:00 by bsakaguchi · 0 comments
Owner

Originally created by @morluto on GitHub (Jul 20, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/345

Recover boundary types from imports, selectors, conventions, metadata, and flow. Mark register variables, compiler blocks, pointer arithmetic, and signatures as decompiler artifacts.

Part of #17.

Acceptance:

  • Inferred types carry evidence and confidence.
  • Jump-table mappings cite data addresses and targets.
  • Pseudocode is labeled non-source/non-compilable.
Originally created by @morluto on GitHub (Jul 20, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/345 Recover boundary types from imports, selectors, conventions, metadata, and flow. Mark register variables, compiler blocks, pointer arithmetic, and signatures as decompiler artifacts. Part of #17. Acceptance: - Inferred types carry evidence and confidence. - Jump-table mappings cite data addresses and targets. - Pseudocode is labeled non-source/non-compilable.
bsakaguchi 2026-10-15 18:22:15 +00:00
Sign in to join this conversation.
No milestone
No project
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#191
No description provided.