Offer an option to show annotations for constant propogation results generated in intermediate steps

Open
#4,712 2 comments 0 reactions 0 assignees View on GitHub

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
cpp, swift
Domain
reverse-engineering

Research direction

Start by reproducing the report with poc.zip: build poc.swift using swiftc -Osize poc.swift, enable “Show variable and integer annotations,” and inspect 0x100003eb4 in the Disassembly window. Trace how constant-propagation results from intermediate steps are rendered; done when the expected annotation appears at 0x100003de4.

Written by the indexing model from the issue text.

Description

Component: Core Effort: Medium Impact: Medium

Version and Platform (required):

  • Binary Ninja Version: 3.6.4600-dev Personal (d4486424)
  • OS: mac
  • OS Version: Sonoma
  • CPU Architecture: M1

Bug Description:
Show variable and integer annotations" in [Settings]->[Rendering] does not work properly.

Steps To Reproduce:
Please provide all steps required to reproduce the behavior:
poc.zip

  1. Enable "Show variable and integer annotations" in [Settings]->[Rendering]
  2. Generate binary. swiftc -Osize poc.swift
  3. Analyze poc file
  4. goto 0x100003eb4 in Disassembly window

スクリーンショット 2023-10-27 17 11 10

Expected Behavior:
0x100003de4 should appear as add x9, x9, #0xf80 {"AAAAAAAAAAAAAAAA"}

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

  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.

More from Vector35/binaryninja-api

All issues in Vector35/binaryninja-api

Similar issues

More C++ issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.