标签：reverse holy 18 range 异或 temp grail 检测 password
reverse-for-the-holy-....
名字太长不打了
收集信息
给的文件是64位elf文件，无壳
静态分析
打开后代码密密麻麻一堆，看起来是c++写的
大致分析逻辑，name和quest都没啥用，password存入userin中，看起来是个全局变量
要求这两个函数的返回值 >= 0，其他的咱就不管了。
在linux下gdb动态调试之后可以确定：v7两个值分别是input的字串及其长度
可见对任一项k，需要满足k & 223 <= 0x56 || k = 63[1],也就是说不能是0x57 - 0x59
这个很容易满足。
来到stringmod函数，这个程序的主要加密函数
它首先是检测了0， 3， 6， 9， 12， 15这六位的值，等于说告诉了我们这六位
firstchar的长度就6位，接着往下看
异或，注意到每次异或的值是可以直接循环算出的，与字串无关。但这里不知道到底检测多少位
如图，从注释（我写的）可得知，这整个程序检测了前18位，估计我们要输入的字串是18位。
然后这里循环检测了另外12位。
第2、5、8...位是直接检测的，可以直接得到；第1、4、7有取模运算，采用爆破应对。注意这里是异或后进行的检测。
写脚本得答案
思路是先直接求出异或后的其中12（0、2、3、5...）位，再爆破出1、4、7...位， 然后异或得到flag
master = [471, 12, 580, 606, 147, 108]
third = [751, 708, 732, 711, 734, 764]
first = [65, 105, 110, 69, 111, 97]
password = [0 for i in range(18)]
k = 666
temp = []
for i in range(18):
temp.append(k)
k += k % 5
# 第一轮 循环 初始化 0、3、6、9...位
for i in range(18):
if i % 3 == 0:
password[i] = first[int(i / 3)]
password[i] ^= temp[i]
#
for i in range(18):
if i % 3 == 2:
password[i] = third[int(i / 3)]
#
for i in range(1, 18, 3):
for k in range(20, 127):
if (k ^ temp[i]) * password[i - 1] % password[i + 1] == master[int(i / 3)]:
password[i] = (k ^ temp[i])
break
#异或
for i in range(18):
password[i] ^= temp[i]
password[i] = chr(password[i])
print("tuctf{" + ''.join(password) + "}")
注意在最后全部异或回来之前，password列表的值并非在char的表示范围内。
总结
- valid函数是第一个检测，没看懂可能纠结很久，事实上在ascii表中，可见字符为0x21 - 0x7e
条件是 k & 223 <= 0x5A || k = '?', 事实上，这里'？'也是满足前者的，& 223 其实就是小写转大写的方法，这里只有0x5B - 0x5F 和 0x7B - 0x7F（二进制方法很容易想明白的）不满足，都是符号，一般情况可以在爆破过程中剔除掉，也可以不剔除试试看先。
我就在这里浪费了好些时间
标签：reverse,holy,18,range,异或,temp,grail,检测,password 来源： https://www.cnblogs.com/AAAAAtevor/p/16199656.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。