题目描述
下载附件拖入ida，发现是elf文件。
解题过程
关键判断如下：
signed __int64 __fastcall sub_4006FD(__int64 a1)
{
signed int i; // [rsp+14h] [rbp-24h]
const char *v3; // [rsp+18h] [rbp-20h]
const char *v4; // [rsp+20h] [rbp-18h]
const char *v5; // [rsp+28h] [rbp-10h]
v3 = "Dufhbmf";
v4 = "pG`imos";
v5 = "ewUglpt";
for ( i = 0; i <= 11; ++i )
{
if ( (&v3)[i % 3][2 * (i / 3)] - *(char *)(i + a1) != 1 )
return 1LL;
}
return 0LL;
}
凭感觉写出了对应的解密python代码:
v3 = "Dufhbmf";
v4 = "pG`imos";
v5 = "ewUglpt";
arr2=[v3,v4,v5]
result=""
for i in range(12):
int_value=ord(arr2[i % 3][2 * int(i/3)][0])-1
mingwen = chr(int_value)
result+=mingwen
print(result)
又想到Z3也许可以解这个东西：
from z3 import *
v3 = "Dufhbmf";
v4 = "pG`imos";
v5 = "ewUglpt";
arr2=[v3,v4,v5]
arr =[Int('v_%s' % (i+1)) for i in range(120)]
sovler=Solver()
for i in range(12):
sovler.add(ord(arr2[i % 3][2 * int(i/3)][0])-arr[i]==1)
sovler.check()
m =sovler.model()
sortedM= sorted ([(d, m[d]) for d in m], key = lambda x: str(x[2:]),reverse=True)
sortedM.reverse()
result=""
for ele in sortedM:
result=result+chr(ele[1].as_long())
print(result)
果然也是可以的，只不过写起来很麻烦。还不如直接往回推。
题目讨论：
在解题过程中出现了两个问题：
- 作者粗心把位数看成了11位，结果答案怎么也不对。
- 只是凭感觉写出了对应的代码，看IDA生成的C并不能看出来这个是一个二维数组。C的语法还是差一些。
