Vector35 / Vector35/binaryninja-api

Allow for negative array index for arrays of structs.

Open
#4,778 2 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Component: Core Core: HLIL 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):
3.6.4667-dev

Bug Description:
If the variable is defined as a struct then ninja does not handle out-of-bounds access to the struct
image
image
image
image

In fact, this is supposed to be a new variable and the program is going to locate this new variable through this struct

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

Reproduce the reported out-of-bounds access for an array of structs using the examples shown in the issue images. The issue names no source files, tests, or entry points, so first locate the analysis path that handles negative array indices and define done as correctly recognizing the access as a new variable.

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
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.