`__Unwind_Resume` should be marked `__noreturn`

オープン

#6,239 2024年12月8日に作成コメント 0 件リアクション 1 件担当者 0 名 GitHub で見る

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

評価

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

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

調査の方向性

Start by investigating how Binary Ninja handles __Unwind_Resume in Mach-O binaries and where its type information comes from. Check the relevant type library or Mach-O analysis path, then verify that the function is treated as __noreturn and no longer produces fall-through decompilation output.

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

説明

Component: Type Libraries Effort: Low Impact: Low

Version and Platform (required):

Binary Ninja Version: 4.3.6541-dev (2a7e8df1)
OS: macOS
OS Version: 15.1.1
CPU Architecture: M1

Bug Description:
Binary Ninja believes that control flow can return from __Unwind_Resume, which is not the case. This results in Binary Ninja thinking execution continues to the line after __Unwind_Resume, which can sometimes be the start of a function. This creates confusing and bloated decompilation output.

Expected Behavior:
__Unwind_Resume should be marked __noreturn so that it doesn't fall through to whatever code comes after the call.

Additional Information:
This issue occurs when working with Mach-O binaries, I'm unsure if it extends to other binary types because I assume the type information is coming from a Mach-O specific type library.

主要言語: 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 をもっと見る