ARMv7 lifting issues
メンテナーはふだん 3 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 84/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- cpp
調査の方向性
arch/armv7/il.cpp:4470 から始めて、ARMv7 の sxtb 命令が LLIL シフトをどのように構築するかを調べます。提供された kat-armv7.elf から 0x10778 の aes_primitive_probe の lift を再現し、生成された LLIL が選択されたバイトを正しく符号拡張していることを確認します。
索引モデルが issue の本文から書いたものです。
説明
Binary files and instruction addresses (ZIP available for upload separately):
kat-armv7.elf: 0x10778; SHA-2561e0ae05c9cfbe8ef77850f74ed5320724c96f0874a6bbbc63b4038f4c343f16a
1: ARMv7 sxtb sign extension
Binary instruction: kat-armv7.elf / aes_primitive_probe at 0x10778; bytes 7540afe6.
Disassembly: sxtb r4, r5, ror #0.
Current lifted LLIL (relevant lines):
r4 = r5 << 0xfffffffc s>> 0x18
Expected LLIL (semantic sketch):
r4 = (r5 << 0x18) s>> 0x18
The source uses the register size in bytes for the left shift, so the sign-extension pair does not place bit 7 into the sign position.
Code: arch/armv7/il.cpp:4470
- 主要言語
- C++
- スター
- 1.3k
- フォーク
- 297
- 平均マージ
- 3日 14時間
- マージ済み PR（30日）
- 18
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Vector35/binaryninja-api のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
Vector35/binaryninja-api#8621 · コメント 1 件 ·
メンテナーはふだん 3 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
Vector35/binaryninja-api#8589 ·
メンテナーはふだん 3 日以内に返信
-
難易度 1/5 1〜3時間 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8540 ·
メンテナーはふだん 3 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8446 ·
メンテナーはふだん 3 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
Vector35/binaryninja-api#8444 ·
メンテナーはふだん 3 日以内に返信
Vector35/binaryninja-api の issue をすべて見る
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
Qiskit/qiskit-aer#2466 ·
-
feature request
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 2 日以内に返信
-
status:needs-triage
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
PX4/PX4-Autopilot#29006 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
Segfault in pwStreamAddBuffer: createBuffer() returning nullptr is dereferenced (Screencopy.cpp:943)オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100