二进制炸弹的fp是什么？

news2025/1/15 23:48:07

🏆本文收录于「Bug调优」专栏，主要记录项目实战过程中的Bug之前因后果及提供真实有效的解决方案，希望能够助你一臂之力，帮你早日登顶实现财富自由🚀；同时，欢迎大家关注&&收藏&&订阅！持续更新中，up！up！up！！

问题描述

我在解二进制炸弹第四阶段的递归时，对主函数中的片段的理解如下：

8bc4:    e3530002     cmp    r3, #2
8bc8:    1a000005     bne    8be4 <phase_4+0x50>
........
8be4:    eb000275     bl    95c0 <explode_bomb>

输入的第一个数必须是2，否则会爆炸

    8bcc:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec 
    8bd0:    e3530002     cmp    r3, #2
    8bd4:    da000002     ble    8be4 <phase_4+0x50> 第二个数要大于等于2
    8bd8:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec
    8bdc:    e3530007     cmp    r3, #7  第二个数要小于7
    8be0:    da000000     ble    8be8 <phase_4+0x54>
    8be4:    eb000275     bl    95c0 <explode_bomb>
     ```
第二个数必须在[2,7)之间，但是输入了所有组合后却没有能成功的，请问是我的这个思路错了吗？
是我对fp的理解错了吗，我认为fp-8是输入的第一个数，fp-20输入的是第二个数

附上完整的phase_4以及递归函数func4
     ```
00008b10 <func4>:
    8b10:    e92d4810     push    {r4, fp, lr}
    8b14:    e28db008     add    fp, sp, #8
    8b18:    e24dd00c     sub    sp, sp, #12
    8b1c:    e50b0010     str    r0, [fp, #-16]
    8b20:    e50b1014     str    r1, [fp, #-20]    ; 0xffffffec
    8b24:    e51b3010     ldr    r3, [fp, #-16]
    8b28:    e3530000     cmp    r3, #0
    8b2c:    ca000001     bgt    8b38 <func4+0x28>
    8b30:    e3a03000     mov    r3, #0
    8b34:    ea000013     b    8b88 <func4+0x78>        r3小于等于0时
    8b38:    e51b3010     ldr    r3, [fp, #-16]                r3大于0 将r3传入[fp-16]
    8b3c:    e3530001     cmp    r3, #1                        r3与1进行比较
    8b40:    1a000001     bne    8b4c <func4+0x3c>
 
    8b44:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec        等于1将r3传入[fp-20]，return
    8b48:    ea00000e     b    8b88 <func4+0x78>        
 
    8b4c:    e51b3010     ldr    r3, [fp, #-16]
    8b50:    e2433001     sub    r3, r3, #1
    8b54:    e1a00003     mov    r0, r3
    8b58:    e51b1014     ldr    r1, [fp, #-20]    ; 0xffffffec
    8b5c:    ebffffeb     bl    8b10 <func4>
    8b60:    e1a02000     mov    r2, r0
    8b64:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec
    8b68:    e0824003     add    r4, r2, r3
    8b6c:    e51b3010     ldr    r3, [fp, #-16]
    8b70:    e2433002     sub    r3, r3, #2
    8b74:    e1a00003     mov    r0, r3
    8b78:    e51b1014     ldr    r1, [fp, #-20]    ; 0xffffffec
    8b7c:    ebffffe3     bl    8b10 <func4>
    8b80:    e1a03000     mov    r3, r0
    8b84:    e0843003     add    r3, r4, r3
    8b88:    e1a00003     mov    r0, r3
    8b8c:    e24bd008     sub    sp, fp, #8
    8b90:    e8bd8810     pop    {r4, fp, pc}
 
00008b94 <phase_4>:
    8b94:    e92d4800     push    {fp, lr}
    8b98:    e28db004     add    fp, sp, #4
    8b9c:    e24dd020     sub    sp, sp, #32
    8ba0:    e50b0020     str    r0, [fp, #-32]    ; 0xffffffe0
    8ba4:    e51b0020     ldr    r0, [fp, #-32]    ; 0xffffffe0
    8ba8:    e59f1074     ldr    r1, [pc, #116]    ; 8c24 <phase_4+0x90> “%d %d”
    8bac:    e24b2018     sub    r2, fp, #24
    8bb0:    e24b3014     sub    r3, fp, #20
    8bb4:    ebfffe92     bl    8604 <_init+0x50>   ; 8604:    e28fc600     add    ip, pc, #0, 12
    8bb8:    e1a03000     mov    r3, r0
    8bbc:    e50b3008     str    r3, [fp, #-8]
    8bc0:    e51b3008     ldr    r3, [fp, #-8]
    8bc4:    e3530002     cmp    r3, #2
    8bc8:    1a000005     bne    8be4 <phase_4+0x50>
    8bcc:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec 
    8bd0:    e3530002     cmp    r3, #2
    8bd4:    da000002     ble    8be4 <phase_4+0x50> 第二个数要大于等于2
    8bd8:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec
    8bdc:    e3530007     cmp    r3, #7 第二个数要小于7
    8be0:    da000000     ble    8be8 <phase_4+0x54>
    8be4:    eb000275     bl    95c0 <explode_bomb>
    8be8:    e3a03005     mov    r3, #5
    8bec:    e50b3010     str    r3, [fp, #-16]
    8bf0:    e51b3014     ldr    r3, [fp, #-20]    ; 0xffffffec 取第二个数
    8bf4:    e51b0010     ldr    r0, [fp, #-16]  ; r0=5
    8bf8:    e1a01003     mov    r1, r3        ;r1=r3
    8bfc:    ebffffc3     bl    8b10 <func4>            
    8c00:    e1a03000     mov    r3, r0        
    8c04:    e50b300c     str    r3, [fp, #-12] 
    8c08:    e51b3018     ldr    r3, [fp, #-24]    ; 0xffffffe8 
    8c0c:    e51b200c     ldr    r2, [fp, #-12]    ;r2 = [fp, #-12]    
    8c10:    e1520003     cmp    r2, r3
    8c14:    0a000000     beq    8c1c <phase_4+0x88>
    8c18:    eb000268     bl    95c0 <explode_bomb>
    8c1c:    e24bd004     sub    sp, fp, #4
    8c20:    e8bd8800     pop    {fp, pc}
    8c24:    000098a0     .word    0x000098a0

在这里插入图片描述

如上问题有来自我自身项目开发，有的收集网站，有的来自读者，如有侵权，立马删除。

解决方案

如下是上述问题的解决方案，仅供参考：

在ARM汇编语言中，fp通常指的是"frame pointer"（帧指针），它是一个寄存器，用于指向当前栈帧的开始位置。在有的程序中，fp可能不是必须的，特别是在使用像gcc这样的编译器时，可能会优化掉帧指针的使用。

从你提供的代码来看，fp被用于访问局部变量。在phase_4函数中，fp被设置为指向比栈顶高4个字节的位置（e28db004），同时栈指针sp被减去32个字节以分配局部变量空间（e24dd020）。这意味着局部变量可以通过相对于fp的偏移量来访问。

这里是一些关键指令的解释：

e51b3014 ldr r3, [fp, #-20]：从fp地址减去20字节的位置加载数据到r3寄存器。这通常用于访问函数的参数或局部变量。
e3530002 cmp r3, #2：比较r3寄存器的值和数字2。

根据你提供的代码，phase_4函数首先检查第一个输入参数（通过r3寄存器，它被加载自[fp, #-20]）是否等于2，如果不等则调用explode_bomb函数，触发炸弹爆炸。

接下来，它检查第二个输入参数（同样通过r3寄存器，再次加载自[fp, #-20]），确保它在2到6的范围内（不包括7）。如果检查失败，同样会触发炸弹爆炸。

你的思路关于fp的理解基本是正确的。fp-8可能指向第一个输入参数，fp-20指向第二个输入参数。但是，你需要注意的是，ARM架构中函数参数通常通过寄存器传递，而不是通过帧指针的偏移量。这意味着fp-20可能并不是第二个参数的正确偏移，这取决于编译器如何安排寄存器和栈帧。

为了解决你的问题，你需要正确地识别出哪些寄存器或偏移量用于传递参数，并确保你的输入满足所有条件。如果输入了所有可能的组合后仍然失败，那么可能存在对代码的误解，或者有其他未被注意到的条件。

如果你需要进一步的帮助，请提供更多的上下文或详细信息，以便更准确地分析和解决问题。

希望能够帮到有需要的你。

PS：如若遇到采纳如下方案还是未解决的同学，希望不要抱怨&&急躁，毕竟影响因素众多，我写出来也是希望能够尽最大努力帮助到同类似问题的小伙伴，即把你未解决或者产生新Bug黏贴在评论区，我们大家一起来努力，一起帮你看看，可以不咯。

若有对当前Bug有与如下提供的方法不一致，有个不情之请，希望你能把你的新思路或新方法分享到评论区，一起学习，目的就是帮助更多所需要的同学，正所谓「赠人玫瑰，手留余香」。

☀️写在最后

ok，以上就是我这期的Bug修复内容啦，如果还想查找更多解决方案，你可以看看我专门收集Bug及提供解决方案的专栏「Bug调优」，都是实战中碰到的Bug，希望对你有所帮助。到此，咱们下期拜拜。

码字不易，如果这篇文章对你有所帮助，帮忙给bugj菌来个一键三连(关注、点赞、收藏) ，您的支持就是我坚持写作分享知识点传播技术的最大动力。

同时也推荐大家关注我的硬核公众号:「猿圈奇妙屋」 ；以第一手学习bug菌的首发干货，不仅能学习更多技术硬货，还可白嫖最新BAT大厂面试真题、4000G Pdf技术书籍、万份简历/PPT模板、技术文章Markdown文档等海量资料，你想要的我都有！

📣关于我

我是bug菌，CSDN | 掘金 | InfoQ | 51CTO | 华为云 | 阿里云 | 腾讯云等社区博客专家，C站博客之星Top30，华为云2023年度十佳博主，掘金多年度人气作者Top40，51CTO年度博主Top12，掘金/InfoQ/51CTO等社区优质创作者；全网粉丝合计 20w+；硬核微信公众号「猿圈奇妙屋」，欢迎你的加入！免费白嫖最新BAT互联网公司面试真题、4000G PDF电子书籍、简历模板等海量资料，你想要的我都有，关键是你不来拿。