MachoView should define imported symbols even if they are not presented in SYMTAB

オープン

#7,196 2025年7月28日に作成コメント 3 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 4/5
見積もり時間: 3〜5日
初心者へのやさしさ: 48/100

issue の種類: バグ
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: cpp
領域: reverse-engineering

調査の方向性

Start in view/macho/machoview.cpp around line 3121, then inspect how DYLD_INFO binding strings are handled alongside the symtab loop. Open the attached binary, navigate to 0x100004000, and verify that the imported symbol referenced by binding is defined even when symtab.nsyms is zero, so relocation analysis no longer leaves a null external symbol.

索引モデルが issue の本文から書いたものです。

説明

Component: BinaryViewType Effort: Low File Format: Mach-O Impact: Medium

Version and Platform (required):

Binary Ninja Version: 5.2.8012-dev Personal (aec518eb)

Bug Description:
Current implementation of MachoView relies on symtab when defining the symbols in the macho. However it is possible to bind imported (external) symbols even if they are not in the symtab, as binding from DYLD_INFO uses their own inlined strings. So for the cases when symbol is used in the binding, but not listed in the symtab, leads to the error with applying relocation during macho analysis.

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

Open attached binary
Go to 0x100004000
There is null instead of external symbol

Expected Behavior:
I think MachoView should define symbols when they referenced in the dyld binding as well.

Screenshots/Video Recording:

Binary:
bin.zip

Additional Information:
Definition of the imported macho symbol is nested in the loop over symtab, so if there is no symbols (symtab.nsyms == 0) then no symbols will be defined, it's incorrect.

https://github.com/Vector35/binaryninja-api/blob/2f1d09c6b714a9f2664eab0a9dbef79e3cbd8919/view/macho/machoview.cpp#L3121

主要言語: C++
スター: 1.3k
フォーク: 298
平均マージ: 5日 5時間
マージ済み PR（30日）: 19

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

Vector35/binaryninja-api のほかの issue

`Function::IsVariableUserDefinded` is misspelt in the C++ API オープン

難易度 1/5 1〜3時間初心者へのやさしさ 88/100

Vector35/binaryninja-api#8540 · 2026年9月10日に作成
MSP430: conditional_jump! macro initialises new_true to true, emitting a spurious jump オープン

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

Vector35/binaryninja-api#8516 · 2026年9月3日に作成
MSP430: Sub lifts operands in reverse order (inconsistent with Cmp) オープン

難易度 1/5 1時間未満初心者へのやさしさ 92/100

Vector35/binaryninja-api#8503 · 2026年9月1日に作成
normalize time logs from WARP オープン

難易度 1/5 1時間未満初心者へのやさしさ 88/100

Vector35/binaryninja-api#8446 · 2026年8月20日に作成
component data variable notifications raise AttributeError オープン

難易度 1/5 1時間未満初心者へのやさしさ 88/100

Vector35/binaryninja-api#8444 · 2026年8月20日に作成

Vector35/binaryninja-api の issue をすべて見る

似ている issue

RingOutlierFilterComponent never sets row_step on its output PointCloud2 (always 0) オープン

難易度 1/5 1〜3時間初心者へのやさしさ 92/100

autowarefoundation/autoware_universe#13413 · 2026年9月21日に作成
HTML export opens a span per character for system messages オープン

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

Mudlet/Mudlet#10974 · コメント 1 件 · 2026年9月21日に作成
[Memory Safety] Memory Safety Analysis: artifact download blocked by network egress restrictions (run `#92`) オープン

automated-analysis bug memory-safety

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

Z3Prover/z3#10883 · 2026年9月21日に作成
Eval bug: SIGSEGV in token-counting routes when the request arrives while the server is sleeping (stale vocab/mctx captured before the wake barrier) オープン

難易度 2/5 1〜3時間初心者へのやさしさ 86/100

ggml-org/llama.cpp#29188 · 2026年9月20日に作成
Sensor initialization takes very long when `--initial-sim-time` is set to current UNIX timestamp オープン

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

gazebosim/gz-sensors#662 · コメント 1 件 · 2026年9月20日に作成

C++ の issue をもっと見る