Vector35 / Vector35/binaryninja-api

BN does not propogate enum type from array member to constant values

Open
#4,813 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Component: Core Core: Type Propagation Effort: Low Impact: Medium
Dominant language
C++
Stars
1.3k
Forks
298
Avg merge
5d 5h
Merged PRs (30d)
19

Description

Version and Platform (required):

  • Binary Ninja Version: 3.6.4709-dev Personal, 715fcd79
  • OS: windows
  • OS Version: 11
  • CPU Architecture: x86_64

Bug Description:

Initial analysis:
image

After fixing the array size, the initial enum name is lost:
image

Expected output: (I had to map each enum val to name manually)
image

Also, if it's possible to default select the last used enum in the Select Enum dialogue box it will be useful in similar scenarios.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reproducing the reported enum propagation behavior on Windows with the version and architecture described in the issue, comparing the initial, resized-array, and expected outputs. Trace the array-member type handling and the Select Enum dialogue; done means enum names remain associated with constant values after the array size is fixed, with the last-used-enum selection treated as a separate optional scope.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
reverse-engineering
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.