[BUUCTF]-PWN:wustctf2020_number_game解析(补码,整数漏洞)
查看保护
查看ida
大致意思就是输入一个数绕过if
完整exp:
from pwn import*
context(log_level='debug')
#p=process('./numbergame')
p=remote('node5.buuoj.cn',29174)p.sendline(b'-2147483648')
p.interactive()
这里输入-2147483648
因为32位int的大小范围为最小-2,147,483,648,十六进制为0x80000000
最大为2,147,483,647,十六进制为0x7FFFFFFF
最好看汇编,能清楚一点
这里让我们输入一个数,然后对它进行自身的test指令(二进制每一位都进行and操作,and操作:两个数的二进制,当一个数与另一个数进行and操作时,如果另一个数对应位是1,那这一个数的对应位保留原本的数,如果另一个数对应位为0,则这个数的对应位为0。test并不会改变寄存器的值,但会影响标志位),下面的js指令的全称是jmp if sign,如果sign位为1就会跳转,如果test的结果中符号位,也就是二进制的最高位为1就会跳转(正数与0的最高位为0,负数为1)
简单地来说就是判断它是否为负数,是就会跳转,接着进行
跳转后,会对数进行neg操作,就是补码。然后再进行test,js。判断是不是负数,是就可以getshell了。
大多数负数进行补码后都会为正数
但是在32位中,最小值-2,147,483,648(十六进制为0x80000000),补码后依旧为0x80000000,也就是它本身,所以可以绕过。具体为什么这样可以自己用二进制表示看看。
补码,正数和0的补码为本身,负数的补码为其二进制按位取反再加1。