Unsigned shift of signed value during optimized signed divide that is only valid because of additional multiplication fails to simplify

オープン

#4,366 2023年5月30日に作成コメント 0 件リアクション 3 件担当者 0 名 GitHub で見る

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

評価

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

issue の種類: バグ
明瞭さ: 説明が足りない
活発さ: 停滞
技術スタック: cpp
領域: compilers, reverse-engineering

調査の方向性

Start with the unsigned_shift.zip examples, especially the cases involving 12, 24, 36, and 48, and trace how Binary Ninja simplifies the optimized divide and modulus. The issue is resolved when these patterns simplify correctly despite the intermediate signed-division result being invalid on its own.

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

説明

Component: Core Core: HLIL Effort: Low IL Optimization Impact: Low

Sometimes the compiler can emit a pattern for optimized modulus where the optimized division component of the modulus
is not valid on its own. It can use an unsigned shift by a small amount during a signed division, which normally would
cause the result to be incorrect, but it can be correct if that result is later multiplied by a value, causing all
values to produce the correct result.

Because Binary Ninja first simplifies the optimized divide, then simplifies the modulus, it cannot simplify the
expression at all.

Binary with examples:

unsigned_shift.zip

See 12, 24, 36, 48, and others.

主要言語: 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

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日に作成
Aligned columns on the serial monitor while keeping CSV on the SD card オープン

enhancement

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

NorthernWidget/Margay_Library#31 · 2026年9月20日に作成
v1 manifest list: existing_files_count is the table-wide total-data-files オープン

comp-datalake

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

ClickHouse/ClickHouse#121222 · 2026年9月20日に作成
Case collision between `Canvas` and `canvas` test directories causes platform-dependent source hashes オープン

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

LadybirdBrowser/ladybird#12123 · 2026年9月20日に作成

C++ の issue をもっと見る