X86 16 bit platform support - #70

Draft

xor2003 wants to merge 575 commits into

angr:masterfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 29, 2026

Add control flag smoke coverage
xor2003
committed
Add compare coverage for in
xor2003
committed
Add jcxz smoke coverage
xor2003
committed
Add x86-16 milestone report and readability set
xor2003
committed
Add formal alias facts and widening proof
xor2003
committed
Add word-global store widening candidates
xor2003
committed
Formalize recovery layer reports
xor2003
committed
Add source-backed rewrite audit status
xor2003
committed
Formalize segmented recovery boundaries
xor2003
committed
Mark completed roadmap items
xor2003
committed
Fix flat-layout packaging discovery
xor2003
committed
Add recompilable subset smoke checks
xor2003
committed
Factor x86-16 LOOP branch helpers
xor2003
committed
Refactor DOS MZ header parsing
xor2003
committed
Factor x86-16 AX immediate helpers
xor2003
committed
x86-16: add corpus visibility accounting
xor2003
committed
x86-16: add readability tier reporting
xor2003
committed
x86-16: classify corpus gaps and rank ugly clusters
xor2003
committed
x86-16: table-drive interrupt service naming
xor2003
committed
x86-16: cover interrupt wrapper recovery
xor2003
committed
x86-16: format interrupt helper calls
xor2003
committed
Add interrupt service metadata tables
xor2003
committed
Keep int10 wrapper oriented
xor2003
committed
Test CallReturn wrapper recovery
xor2003
committed
Lower x86-16 interrupt wrapper results
xor2003
committed
Lower BIOS keybrd selector in API rendering
xor2003
committed
Add interrupt API surface reporting
xor2003
committed
Trim interrupt API plan
xor2003
committed
x86-16: lower interrupt service calls
xor2003
committed
x86-16: selector-aware int10 lowering
xor2003
committed
x86-16: add corpus-backed interrupt regressions
xor2003
committed
Add interrupt wrapper result regressions
xor2003
committed
Add x86-16 width helpers
xor2003
committed
Centralize x86-16 memory operand resolution
xor2003
committed
Extract x86-16 stack helpers
xor2003
committed
Extract x86-16 string helpers
xor2003
committed
Centralize x86-16 ALU helpers
xor2003
committed
Parametrize far-pointer loading
xor2003
committed
Move push-sp semantics into stack helpers
xor2003
committed
Centralize byte ALU and string repeat helpers
xor2003
committed
Route far memory operands through resolved addresses
xor2003
committed
Add widening join analysis helper
xor2003
committed
Centralize string family helpers
xor2003
committed
Fix REP string repeat gating
xor2003
committed
Tighten MartyPC-style helper boundaries
xor2003
committed
Extract pusha and popa stack helpers
xor2003
committed
Share near return stack semantics
xor2003
committed
Tighten ALU and near-return helper families
xor2003
committed
Share resolved operand load and store helpers
xor2003
committed
Spread 32-bit stack helper families
xor2003
committed
Add normalized decode metadata
xor2003
committed
Consume normalized decode width metadata
xor2003
committed
Use normalized repeat metadata in string helpers
xor2003
committed
Spread stack and near-control helper families
xor2003
committed
Add explicit mixed-width decode profiles
xor2003
committed
Centralize 32-bit relative branches
xor2003
committed
Unify relative branch helper families
xor2003
committed
Remove dead branch helper locals
xor2003
committed
Centralize 32-bit near-relative targets
xor2003
committed
Centralize far control transfer helpers
xor2003
committed
Unify far opcode handlers with helpers
xor2003
committed
Share linear address helper in access layer
xor2003
committed
Centralize stack primitive helpers
xor2003
committed
Centralize far return control helpers
xor2003
committed
Centralize remaining instruction pointer helpers
xor2003
committed
Unify runtime far frame helpers
xor2003
committed
Unify runtime privilege stack helpers
xor2003
committed
Add width matrix and validation family slices
xor2003
committed
Add semantic family ownership to corpus reports
xor2003
committed
Expose projection cleanup surface
xor2003
committed
Track source-backed rewrite debt
xor2003
committed
Add corpus completion visibility surface
xor2003
committed
Expose interrupt and mixed-width surfaces
xor2003
committed
Tighten addressing and interrupt surfaces
xor2003
committed
Centralize 32-bit ModRM SIB addressing
xor2003
committed
Centralize ModRM address resolution
xor2003
committed
Flatten string and ModRM helper boundaries
xor2003
committed
Flatten AX immediate ALU helpers
xor2003
committed
Flatten byte immediate ALU helpers
xor2003
committed
Expose instruction metadata report surface
xor2003
committed
Expose mixed-width and interrupt boundaries
xor2003
committed
Add MartyPC differential triage surface
xor2003
committed

Commits on Mar 30, 2026

Centralize rotate-through-carry helpers
xor2003
committed
Add corpus completion backlog surface
xor2003
committed
Add deterministic readability goals
xor2003
committed
Add MartyPC improvement progress goals
xor2003
committed
x86-16: expose explicit mixed-width decode cases
xor2003
committed
x86-16: structure MartyPC triage surface
xor2003
committed
Add correctness decompilation goals
xor2003
committed
Anchor correctness plan to COD source C
xor2003
committed
Add deterministic goals to dream plan
xor2003
committed
Add readability focus queue
xor2003
committed
Finish corpus readability focus surfaces
xor2003
committed
Add snake fallback CLI regression
xor2003
committed
Add default snake catalog regression
xor2003
committed
Relax snake blank-spot regression
xor2003
committed
Add typed snake globals and COD harness
xor2003
committed
Update snake helper cleanup expectations
xor2003
committed
Land snake main interrupt cleanup
xor2003
committed
Add generic helper signatures and retire snake hooks
xor2003
committed
Refine COD plan progress notes
xor2003
committed
current state
xor2003
committed
Generalize COD object recovery
xor2003
committed
Expose timeout stage counts
xor2003
committed
Coalesce generic far-pointer byte stores
xor2003
committed
Close generic COD condition recovery
xor2003
committed
Mark COD corpus plan complete
xor2003
committed
Retire source-specific COD rewrites
xor2003
committed
Note generic call-source normalization in COD plan
xor2003
committed
Relax COD regressions for recovered shapes
xor2003
committed
Guard SetGear fallthrough return
xor2003
committed
Stabilize COD regeneration and migration plan
xor2003
committed
Add early x86-16 metadata annotations
xor2003
committed
Add generic wrapper recovery layer
xor2003
committed
Mark COD migration plan complete
xor2003
committed

Commits on Mar 31, 2026

Harden x86-16 COD postprocess reporting
xor2003
committed
Lift x86-16 metadata annotations earlier
xor2003
committed
Cover x86-16 wrapper pruning regressions
xor2003
committed
Pallelize
xor2003
committed

Commits on Apr 1, 2026

latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 3, 2026

latest
xor2003
committed

Commits on Apr 4, 2026

latest
xor2003
committed
Guard collapsed COD source bodies
xor2003
committed

Commits on Apr 5, 2026

latest
xor2003
committed
latest
xor2003
committed
Move OMF PAT tests to root module
xor2003
committed
latest
xor2003
committed

Commits on Apr 6, 2026

Split X86_16 recovery into focused modules
xor2003
committed
Update sidecar metadata tests for module split
xor2003
committed
Add peer EXE catalog regressions
xor2003
committed
Cover LIFE2 peer catalog ranking
xor2003
committed
Cover broader sidecar slice recovery
xor2003
committed
Retry truncated exact-region recovery
xor2003
committed
Cover peer COD source fallback
xor2003
committed
Cache peer sidecar bundles
xor2003
committed
Treat LIFE peer matching as oracle-only
xor2003
committed
Fix NE entry table bundle format parsing
xor2003
committed

Commits on Apr 7, 2026

Cover LIFE2 signature-seed discovery fallback
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 8, 2026

latest
xor2003
committed

Commits on Apr 9, 2026

latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 10, 2026

latest
xor2003
committed

Commits on Apr 11, 2026

latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 12, 2026

latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 13, 2026

latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 14, 2026

latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 15, 2026

latest
xor2003
committed

Commits on Apr 16, 2026

latest
xor2003
committed

Commits on Apr 17, 2026

latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 18, 2026

latest
xor2003
committed

Commits on Apr 19, 2026

latest
xor2003
committed

Commits on Apr 21, 2026

latest
xor2003
committed

Commits on Apr 23, 2026

latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed

Commits on Apr 27, 2026

latest
xor2003
committed
latest
xor2003
committed

Commits on May 4, 2026

latest
xor2003
committed

Commits on May 6, 2026

latest
xor2003
committed

Commits on May 7, 2026

latest
xor2003
committed

Commits on May 9, 2026

latest
xor2003
committed

Commits on May 10, 2026

fix: repair stack lowering module — indentation + type factory

xor2003
and
claude
committed

Commits on May 11, 2026

fixed
xor2003
committed

Commits on May 13, 2026

fixed
xor2003
committed
fixed!
xor2003
committed

Commits on May 17, 2026

more fixed
xor2003
committed

Commits on May 18, 2026

more fixed
xor2003
committed
more fixed
xor2003
committed

Commits on May 20, 2026

Fix tail-validation changed->failed status and unknown handling
xor2003
committed
Fix x86-16 callsite argument materialization
xor2003
committed
fixed. remove cheating
xor2003
committed
Improve x86-16 DS global lowering validation
xor2003
committed
Render inferred void returns as C void
xor2003
committed
Improve x86-16 runtime segment validation
xor2003
committed
Canonicalize overlapping x86-16 stack slots
xor2003
committed
Fix x86-16 tail validation write locations
xor2003
committed
Refine x86-16 stack carrier resolution
xor2003
committed
Prefer fact-backed x86-16 stack slot width
xor2003
committed
Rank stack C view width during resolution
xor2003
committed
x86_16: stabilize stack width lowering and structuring guard behavior
xor2003
committed
x86_16: harden postprocess call materialization and stack carrier lowering
xor2003
committed
x86_16: strengthen cmp/jcc guard recovery for operand variants
xor2003
committed

Commits on May 21, 2026

Commits on May 22, 2026

Allow tiny thunk stack-lane contract bypass for 86_16
xor2003
committed
Stabilize 16-bit shift/flag bitwidth handling
xor2003
committed

Commits on May 23, 2026

Commits on May 24, 2026

tests+gates: enforce loop-hoist rejection and stabilize SORTDEMO regressions
xor2003
committed
postprocess: make callsite/JCC rewrites conservative to preserve tail validation
xor2003
committed
latest
xor2003
committed
x86_16: fix ReInitBars call relocation and stabilize postprocess TV guards
xor2003
committed
x86_16: tighten pass-level TV guards and add stdlib call-chain materialization
xor2003
committed
x86_16: stabilize postprocess finalization and binary-first call evidence
xor2003
committed
x86_16: harden postprocess validation flow and binary-first call evidence
xor2003
committed
x86_16: normalize helper-call deltas and tighten fact-stack pass gating
xor2003
committed
x86_16: conservative callsite arg materialization and validation stability
xor2003
committed
x86_16: keep source call-floor recovery enabled by default
xor2003
committed
x86_16: stabilize callsite arg materialization and recovery gating
xor2003
committed
latest
xor2003
committed
latest
xor2003
committed