Duplicate HighIL statement when lifting `fsbase + 0x28`

オープン

#8,439 2026年8月19日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

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

評価

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

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

調査の方向性

Reproduce the case at 0x402f3c using the assembly and HighIL shown in the issue, then trace the lifting path for the fsbase + 0x28 operand. Done means the standalone duplicate expression is absent and the conditional retains the expected HighIL form.

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

説明

Version and Platform (required):

Binary Ninja Version: 5.4.10466-dev Personal (42e25af5)
Edition: Non-Commercial
OS: Fedora Linux
OS Version: 44
CPU Architecture: M2

Bug Description:

The following assembly:

00402f38  488b55f8            mov     rdx, qword [rbp-0x8 {var_10}]
00402f3c  64482b142528000000  sub     rdx, qword [fs:0x28]
00402f45  7405                je      0x402f4c

is lifted to HighIL:

00402f3c        *(fsbase + 0x28)
00402f3c        
00402f45        if (rax != *(fsbase + 0x28))

instead of being correctly lifted to HighIL

00402f45        if (rax != *(fsbase + 0x28))

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

Open the binary
Go to 0x402f3c
Notice the incorrect lifting

Expected Behavior:

I expect the following assembly:

00402f38  488b55f8            mov     rdx, qword [rbp-0x8 {var_10}]
00402f3c  64482b142528000000  sub     rdx, qword [fs:0x28]
00402f45  7405                je      0x402f4c

to be correctly lifted to HighIL:

00402f45        if (rax != *(fsbase + 0x28))

Screenshots/Video Recording:

Binary:

Reference phrase: celestial system cycles delicately

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

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

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

はじめの一歩

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日に作成
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日に作成
F3 (Find Next) shortcut does not work, possibly due to conflict with Add Hardware Breakpoint key binding オープン

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

Vector35/binaryninja-api#8441 · コメント 3 件 · 2026年8月19日に作成
incorrect documentation for analysis.earlyStackConstantPropagation オープン

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

Vector35/binaryninja-api#8404 · 2026年8月11日に作成

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

似ている issue

[Bug] Desktop: DataChannel onBufferedAmountLow / onBufferedAmountChange never fires — missing C++ OnBufferedAmountChange override オープン

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

flutter-webrtc/flutter-webrtc#2206 · 2026年9月24日に作成
litertlm-android AAR ships no consumer ProGuard rules → "mid == null" SIGABRT in minified apps オープン

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

google-ai-edge/LiteRT-LM#3739 · 2026年9月24日に作成
[GLib] Rename run-end encoded array values accessor to physical_values オープン

Component: GLib

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

apache/arrow#51479 · 2026年9月24日に作成
[Windows] Renderer crash (STATUS_BREAKPOINT) with font-palette override-colors on COLR web fonts: new[]/delete mismatch in Skia DWriteFontTypeface オープン

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

brave/brave-browser#59300 · 2026年9月24日に作成
Mute ydb/tests/functional/dstool/test_canonical_requests.py.Test.test_group_take_snapshot in main オープン

ai_reviewed

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

ydb-platform/ydb#53974 · コメント 3 件 · 2026年9月24日に作成

C++ の issue をもっと見る