Dead Store Elimination doesn't seem to eliminate some expressions correctly.
@D0ntPanic がすでに取り組んでいます。
2022年2月9日 から。
評価
この issue はまだ評価されていません。
説明
Version and Platform (required):
- Binary Ninja Version: Version 3.0.3247-dev Personal
- OS: Windows 11
Bug Description:
Dead Store Elimination sometimes leaves hanging operands, which gives an invalid HLIL. Here is the screenshot for the HLIL:
Here is the HLIL report, showing the DSE behavior:
Here it doesn't matter argc and argv are not passed to main
Steps To Reproduce:
Download rc4.zip and load rc4.exe in binary ninja.
Go to __scrt_common_main_seh and look right before main is called.
Expected Behavior:
If these value are supposed to be eliminated, they should not appear in the HLIL at all.
Additional information:
This doesn't seem to be an isolated problem. It happens fairly regularly in a few protected executable I sadly couldn't share. It seems to happen mainly when dereferencing memory:
- 主要言語
- C++
- スター
- 1.3k
- フォーク
- 298
- 平均マージ
- 5日 5時間
- マージ済み PR（30日）
- 19
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Vector35/binaryninja-api のほかの issue
-
難易度 1/5 1〜3時間 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8540 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8516 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 92/100
Vector35/binaryninja-api#8503 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8446 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8444 ·
Vector35/binaryninja-api の issue をすべて見る
似ている issue
-
難易度 1/5 1〜3時間 初心者へのやさしさ 92/100
autowarefoundation/autoware_universe#13413 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
automated-analysis bug memory-safety
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
-
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 件 ·