xor reg1, reg1 is not always simplified to reg1 = 0

評価

調査の方向性

説明

When we have some code like

xor edx, edx
jne 0x18

The LLIL simplifies the xor instruction to edx = 0, and the jne instruction is treated as opaque predicate and removed in higher level of ILs.

LLIL:

MLIL:

HLIL:

This works perfectly for the above example, however, I noticed that it does not work all of the time. See below for an example:

This is an opaque predicate as well and the left branch is fake. The code always executes the right branch.

LLIL:

MLIL:

HLIL:

While the semantics of the code is still correct and we can see it is still an opaque predicate, we should be able to simplify it automatically.

Database:

Offending binary:

keygenme4.exe.bndb.zip

Address: 0x416ed5

Simple case:
xor_simple.bndb.zip

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

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

はじめの一歩

1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
3. リポジトリをフォークし、ブランチを切って変更します。
4. 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 をもっと見る