Skip to content

Preserve MLIL translation mappings#48

Merged
tinysec merged 1 commit into
masterfrom
feat/mlil-translation-maps
Jul 22, 2026
Merged

Preserve MLIL translation mappings#48
tinysec merged 1 commit into
masterfrom
feat/mlil-translation-maps

Conversation

@tinysec

@tinysec tinysec commented Jul 22, 2026

Copy link
Copy Markdown
Owner

Summary

  • add source-aware LLIL, MLIL, and HLIL locations for builder navigation
  • track MLIL translation instruction/expression mappings and marshal them through AnalysisContext
  • expose installed mapping readback and correct MLIL-to-LLIL navigation to use LLIL SSA

Verification

  • dotnet build -c Release (0 warnings, 0 errors)
  • external focused MLIL mapping E2E: 5/5
  • external full E2E: 118/118
  • official Python truth regeneration: byte-identical for cat, ls, and true
  • official C++ API cross-check: Vector35/binaryninja-api 06c0905

@tinysec
tinysec merged commit c065981 into master Jul 22, 2026
1 check passed
@tinysec
tinysec deleted the feat/mlil-translation-maps branch July 22, 2026 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant