ARMv7 lifting issues
維護者通常 3 天內回覆
還沒有人認領這個 Issue。
評估
- 難度
- 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
- 平均合併
- 4 天 7 小時
- 30 天內合併 PR
- 23
環境準備
這個專案沒有提供開發容器、Dockerfile 或貢獻指南，環境需要你自己搭建：先看它的 README，通用步驟見我們的新手貢獻指南。
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
Vector35/binaryninja-api 的其他 Issue
-
Component: Python API
難度 2/5 1-3 小時 新手友好度 70/100
Vector35/binaryninja-api#8649 ·
維護者通常 3 天內回覆
-
難度 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 天內回覆
查看 Vector35/binaryninja-api 的全部 Issue
相似的 Issue
-
難度 2/5 1-3 小時 新手友好度 75/100
FISCO-BCOS/FISCO-BCOS#5706 ·
維護者通常 3 天內回覆
-
難度 1/5 1 小時以內 新手友好度 85/100
521xueweihan/HelloGitHub#4011 ·
-
status:needs-triage
難度 1/5 1-3 小時 新手友好度 78/100
PX4/PX4-Autopilot#29292 · 1 則留言 ·
維護者通常 1 天內回覆
-
I/O internal correctness medium priority rt_lib
難度 2/5 1-3 小時 新手友好度 79/100
維護者通常 1 天內回覆
-
GUI
難度 2/5 1-3 小時 新手友好度 70/100
sonic-pi-net/sonic-pi#3594 ·