Vector35 / Vector35/binaryninja-api

stack variable analyze failure and basic block analyze error

Open
#7,766 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
C++
Stars
1.3k
Forks
298
Avg merge
5d 5h
Merged PRs (30d)
19

Description

Version and Platform (required):

  • Binary Ninja Version: 5.2.8722, c75356aa
  • OS: windows
  • OS Version: 10
  • CPU Architecture: x86_64

Bug Description:
stack variable in some function become sp+offset rather than variables

Image

basic blocks analyze wrong and spilt function to multi parts , in the form of jump(address)

Image Image

I tried to undefine function or make it to code but didn't help

Steps To Reproduce:

  1. run py script in the zip to use custom deobfcation workflow
  2. open the db
  3. in sub_423700 and sub_427fd4 you can see some bug behavior

Expected Behavior:

Screenshots:

Binary:
BianryNinja portal

merit schema spins enthusiastically

Additional Information:

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

The issue points to the custom deobfuscation py script, the database, and functions sub_423700 and sub_427fd4. Start by rerunning the script and opening the database, then compare stack-variable and basic-block analysis in those functions. Done means the failure is reproducible and the affected analysis behavior is corrected or documented with a minimal reproducer.

Written by the indexing model from the issue text.

Assessment

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.