BUUCTF luck_guy题解
拿到程序,先查壳,可以看出没有壳,是64位的程序
接着直接ida64位打开,找到mian函数
代码很清晰,直接追踪patch_me函数
继续追踪get_flag得到如下代码:
unsigned __int64 get_flag()
{
unsigned int v0; // eax
char v1; // al
signed int i; // [rsp+4h] [rbp-3Ch]
signed int j; // [rsp+8h] [rbp-38h]
__int64 s; // [rsp+10h] [rbp-30h]
char v6; // [rsp+18h] [rbp-28h]
unsigned __int64 v7; // [rsp+38h] [rbp-8h]
v7 = __readfsqword(0x28u);
v0 = time(0LL);
srand(v0);
for ( i = 0; i <= 4; ++i )
{
switch ( rand() % 200 )
{
case 1:
puts("OK, it's flag:");
memset(&s, 0, 0x28uLL);
strcat((char *)&s, f1);
strcat((char *)&s, &f2);
printf("%s", &s);
break;
case 2:
printf("Solar not like you");
break;
case 3:
printf("Solar want a girlfriend");
break;
case 4:
v6 = 0;
s = 0x7F666F6067756369LL;
strcat(&f2, (const char *)&s);
break;
case 5:
for ( j = 0; j <= 7; ++j )
{
if ( j % 2 == 1 )
v1 = *(&f2 + j) - 2;
else
v1 = *(&f2 + j) - 1;
*(&f2 + j) = v1;
}
break;
default:
puts("emmm,you can't find flag 23333");
break;
}
}
return __readfsqword(0x28u) ^ v7;
}
分析代码,发现重要的在switch函数里面,分析switch函数,易知case 2 和case 3没什么大用,就一个输出而已,case 1是flag出现的地方
分析case 1,里面有两个变量,一个是f1,一个是f2
追踪f1:
追踪f2:
f2没有东西,应该是还没有赋值
继续分析case 4,可以看出f2的值是s赋予的,接着看f5在进行计算,所以可以大概猜测case 4 是赋值的,而case 5 是对f2进行转化的
所以把case 5转化成c代码,在vs运行:
运行得到