Incomplete decompilation in golang binary
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 35/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- go
- Domain
- reverse-engineering
Research direction
Open the attached asd.exe, navigate to main.main, and inspect Pseudo C and MLIL around 0x004cdbe9 and the branch at 0x004cdc90. Reproduce the incorrect always-false branch and confirm that correcting the analysis allows the remaining main-function code to appear in the decompilation.
Written by the indexing model from the issue text.
Description
Version and Platform (required):
- Binary Ninja Version: 5.2.8286-dev
- Edition: Non-Commercial
- OS: Windows
- OS Version: 10
- CPU Architecture: x64
Bug Description:
BInary NInja doesn't fully decompile the main function, decompiler output ends at runtime.ncpu_3 = runtime.ncpu_3;, but there is more code. The bug happens because MLIL thinks that branch at 0x004cdc90 is always false
Steps To Reproduce:
- Open asd.exe
- Go to
main.mainfunction - Open Pseudo C and MLIL (or any other lower BNIL)
- Go to
0x004cdbe9 - See that in MLIL there is more code.
Expected Behavior:
Full decompilation of main function
Binary:
asd.zip
- Dominant language
- C++
- Stars
- 1.3k
- Forks
- 298
- Avg merge
- 5d 5h
- Merged PRs (30d)
- 19
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from Vector35/binaryninja-api
-
Difficulty 1/5 1-3 hours Newbie friendliness 88/100
Vector35/binaryninja-api#8540 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
Vector35/binaryninja-api#8516 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 92/100
Vector35/binaryninja-api#8503 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 88/100
Vector35/binaryninja-api#8446 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 88/100
Vector35/binaryninja-api#8444 ·
All issues in Vector35/binaryninja-api
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
-
Sensor initialization takes very long when `--initial-sim-time` is set to current UNIX timestamp Open
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
gazebosim/gz-sensors#662 · 1 comment ·
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
-
comp-datalake
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
ClickHouse/ClickHouse#121222 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
LadybirdBrowser/ladybird#12123 ·