Skip to content

[AUTOMATED] Read DWARF 5 indexed variable locations in TypeMatch - #122

Draft
sjkim1127 wants to merge 1 commit into
Noelo-Lab:mainfrom
sjkim1127:codex/type-match-indexed-locations
Draft

sjkim1127 wants to merge 1 commit into
Noelo-Lab:mainfrom
sjkim1127:codex/type-match-indexed-locations

Conversation

@sjkim1127

Copy link
Copy Markdown
Contributor

[AUTOMATED]

TypeMatch omitted variables whose locations used DWARF 5 DW_FORM_loclistx. Read those lists through the existing location-list path using the section offset pyelftools already decoded.

In a Clang AArch64 C++ ELF fixture, this makes two arguments and one local available to TypeMatch. The ground-truth payload is identical across all 18 Linux ELF images in the frozen C++ qualification corpus. The focused suite passed 67 tests. All six added full-suite cases pass, with the same existing failures and errors as main.

The TypeMatch cache version moves to 20. This patch is independent of #120's type-reference resolution, which uses version 19.

[AUTOMATED]

Use the location-list section offset pyelftools resolved for loclistx.
Keep existing offset extraction and invalidate cached TypeMatch scores.

This branch has not been deployed

No deployments
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