ARMv7 lifting issues
维护者通常 2 天内回复
还没有人认领这个 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
- 平均合并
- 3 天 11 小时
- 30 天内合并 PR
- 17
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
Vector35/binaryninja-api 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 72/100
Vector35/binaryninja-api#8621 · 1 条评论 ·
维护者通常 2 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
Vector35/binaryninja-api#8589 ·
维护者通常 2 天内回复
-
难度 1/5 1-3 小时 新手友好度 88/100
Vector35/binaryninja-api#8540 ·
维护者通常 2 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
Vector35/binaryninja-api#8446 ·
维护者通常 2 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
Vector35/binaryninja-api#8444 ·
维护者通常 2 天内回复
查看 Vector35/binaryninja-api 的全部 Issue
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 86/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 90/100
plengauer/DXGIOutputDuplication#81 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 82/100
sudoevolve/EUI-NEO#80 ·
-
bug
难度 2/5 1-3 小时 新手友好度 86/100
Ryan-Millard/Img2Num#681 · 2 条评论 ·
维护者通常 2 天内回复
-
upstream update
难度 2/5 1-3 小时 新手友好度 75/100
conan-io/conan-center-index#31098 ·
维护者通常 2 天内回复