解题思路:
第一步还是查壳,查壳是无壳,64位。
放入ida64位中,找到main函数,之后反编译获得源码。
__int64 __fastcall main(__int64 a1, char **a2, char **a3)
{
signed __int64 v3; // rbx
signed int v4; // eax
bool v5; // bp
bool v6; // al
const char *v7; // rdi
__int64 v9; // [rsp+0h] [rbp-28h]
v9 = 0LL;
puts("Input flag:");
scanf("%s", &s1, 0LL);
if ( strlen(&s1) != 24 || strncmp(&s1, "nctf{", 5uLL) || *(&byte_6010BF + 24) != '}' )// flag结构,flag长度是24,前五位是nctf{ 最后一位是}
{
LABEL_22:
puts("Wrong flag!");
exit(-1);
}
v3 = 5LL;
if ( strlen(&s1) - 1 > 5 )
{
while ( 1 )
{
v4 = *(&s1 + v3);
v5 = 0;
if ( v4 > 78 )
{
v4 = (unsigned __int8)v4;
if ( (unsigned __int8)v4 == 79 )
{
v6 = sub_400650((_DWORD *)&v9 + 1);
goto LABEL_14;
}
if ( v4 == 111 )
{
v6 = sub_400660((int *)&v9 + 1);
goto LABEL_14;
}
}
else
{
v4 = (unsigned __int8)v4;
if ( (unsigned __int8)v4 == 46 )
{
v6 = sub_400670(&v9);
goto LABEL_14;
}
if ( v4 == 48 )
{
v6 = sub_400680((int *)&v9);
LABEL_14:
v5 = v6;
goto LABEL_15;
}
}
LABEL_15:
if ( !(unsigned __int8)sub_400690((__int64)asc_601060, SHIDWORD(v9), v9) )
goto LABEL_22;
if ( ++v3 >= strlen(&s1) - 1 )
{
if ( v5 )
break;
LABEL_20:
v7 = "Wrong flag!";
goto LABEL_21;
}
}
}
if ( asc_601060[8 * (signed int)v9 + SHIDWORD(v9)] != 35 )
goto LABEL_20;
v7 = "Congratulations!"; // 祝贺
LABEL_21:
puts(v7);
return 0LL;
}
看到祝贺那里,证明是获得了flag,说是一个迷宫题,所以开始找逻辑,转换字符串和一些基本的信息提取出来写成注释的方式。
__int64 __fastcall main(__int64 a1, char **a2, char **a3)
{
signed __int64 v3; // rbx
signed int v4; // eax
bool v5; // bp
bool v6; // al
const char *v7; // rdi
__int64 v9; // [rsp+0h] [rbp-28h]
v9 = 0LL;
puts("Input flag:");
scanf("%s", &s1, 0LL);
if ( strlen(&s1) != 24 || strncmp(&s1, "nctf{", 5uLL) || *(&byte_6010BF + 24) != '}' )// flag结构,flag长度是24,前五位是nctf{ 最后一位是}
{
LABEL_22:
puts("Wrong flag!");
exit(-1);
}
v3 = 5LL;
if ( strlen(&s1) - 1 > 5 ) // 如果输入的-1大于5
{
while ( 1 )
{
v4 = *(&s1 + v3); // v4 = s1[5]
v5 = 0;
if ( v4 > 'N' ) // 如果v4大于字符N
{
v4 = (unsigned __int8)v4;
if ( (unsigned __int8)v4 == 'O' ) // 如果是O
{
v6 = sub_400650((_DWORD *)&v9 + 1); // 大于0
goto LABEL_14;
}
if ( v4 == 'o' ) // 如果v4是o
{
v6 = sub_400660((int *)&v9 + 1); // 边界是8
goto LABEL_14;
}
}
else
{
v4 = (unsigned __int8)v4;
if ( (unsigned __int8)v4 == '.' ) // 如果v4=.
{
v6 = sub_400670(&v9); // 大于0
goto LABEL_14;
}
if ( v4 == '0' ) // 如果v4 = 0
{
v6 = sub_400680((int *)&v9); // 边界是8
LABEL_14:
v5 = v6;
goto LABEL_15;
}
}
LABEL_15:
if ( !(unsigned __int8)sub_400690((__int64)asc_601060, SHIDWORD(v9), v9) )
goto LABEL_22;
if ( ++v3 >= strlen(&s1) - 1 )
{
if ( v5 )
break;
LABEL_20:
v7 = "Wrong flag!";
goto LABEL_21;
}
}
}
if ( asc_601060[8 * (signed int)v9 + SHIDWORD(v9)] != '#' )
goto LABEL_20;
v7 = "Congratulations!"; // 祝贺
LABEL_21:
puts(v7);
return 0LL;
}
现在的已知条件,告诉了我们边界是8,那么这是一个8*8的迷宫,并且碰到#停止,那么现在重构一下迷宫的图形,通过这句话来构造。
if ( asc_601060[8 * (signed int)v9 + SHIDWORD(v9)] != '#' )
.data:0000000000601060 asc_601060 db ' ******* * **** * **** * *** *# *** *** *** *********',0
经过重构可以得到。
11******
*111*11*
***1*1**
**11*1**
*11*#11*
**1***1*
**11111**
*******
这样的一个迷宫,现在只要进行避开,那些星号的位置,即可获得flag,也就是右下右右下下左下下下右右右右上上左左
知道右是o,O是左,.是上,0是下,那么组合一下按照规则是
nctf{o0oo00O000oooo…OO}