这题使用IDA反汇编的话有windows编程基础会好些,看不懂跟着思路来也行
文章目录
- 一、基本分析
- 二、代码分析
- 第一处判断
- 疑问
 
- 第二个判断
- 第三处判断
- 第四处判断
- 第五处判断
- 第五处判断
 
- 三、flag
- 四、最后
一、基本分析

 运行后
 
 然后就什么都没有了
IDA反汇编
 
 紫色颜色的函数就是windows系统的内置函数,这里是一个对话框函数,主要的就是第四个参数(DialogFunc),这是一个自定义函数,对话框的所有操作都在这里执行了
 点进去这个函数

可以直接跳转到代码分析处
 a2是窗口消息,可以看到是自定义函数中传递的,该消息由用户的动作产生,比如鼠标的点击,移动等,对话框的初始化都会产生一个对应的唯一的消息ID,前面消息ID的判断我们就不看了,直接浏览全部代码发现一处弹出框
 
 这个也是windows的系统函数,用于弹出信息,所以我们猜测,执行到这里,flag就有了(一般出题的套路都是如此好吧,而且就这个if判断的内容最长,也只有你了)
 所以我们需要让上一个if判断成立
 
所以直接看看如何让判断成立
二、代码分析
第一处判断
String[0] == v7[0] + 34
首先就是String[0]要等于v7[0] + 34, 这里v7我们并不知道,所以向上判断
 
 你们那里的v7最开始的赋值可能是数字,点击数字然后按r就可以转字符
 最开始是Z,后面经过sub_4010F0函数后不知道变成啥了,进去看看
 
 看着就炸裂有没有,不过这个代码可以直接复制到本地运行一下,将_DWORD换成DWORD就好了,因为DWORD就是4字节大小,也就是32位下指针的大小,也就是c语言中的long类型(也可以换成long类型),DWORD定义在windows.h中,所以我们需要包含下 #include<windows.h>
 需要在windows平台下运行
#include <windows.h>
#include <stdio.h>
#include <stdlib.h>
int __cdecl sub_4010F0(int a1, int a2, int a3)
{
    int result; // eax
    int i;      // esi
    int v5;     // ecx
    int v6;     // edx
    result = a3;
    for (i = a2; i <= a3; a2 = i)
    {
        v5 = 4 * i;
        v6 = *(DWORD *)(4 * i + a1);
        if (a2 < result && i < result)
        {
            do
            {
                if (v6 > *(DWORD *)(a1 + 4 * result))
                {
                    if (i >= result)
                        break;
                    ++i;
                    *(DWORD *)(v5 + a1) = *(DWORD *)(a1 + 4 * result);
                    if (i >= result)
                        break;
                    while (*(DWORD *)(a1 + 4 * i) <= v6)
                    {
                        if (++i >= result)
                            goto LABEL_13;
                    }
                    if (i >= result)
                        break;
                    v5 = 4 * i;
                    *(DWORD *)(a1 + 4 * result) = *(DWORD *)(4 * i + a1);
                }
                --result;
            } while (i < result);
        }
    LABEL_13:
        *(DWORD *)(a1 + 4 * result) = v6;
        sub_4010F0(a1, a2, i - 1);
        result = a3;
        ++i;
    }
    return result;
}
int main()
{
    int v7[11];
    v7[0] = 'Z';
    v7[1] = 'J';
    v7[2] = 'S';    // v8 = 'S';
    v7[3] = 'E';    // v9 = 'E';
    v7[4] = 'C';    // v10 = 'C';
    v7[5] = 'a';    // v11 = 'a';
    v7[6] = 'N';    // v12 = 'N';
    v7[7] = 'H';    // v13 = 'H';
    v7[8] = '3';    // v14 = '3';
    v7[9] = 'n';    // v15 = 'n';
    v7[10] = 'g';   // v16 = 'g';
    sub_4010F0((int)v7, 0, 10);
    printf("%c", v7[0] + 34);
    return 0;
}
最后输出为 U
疑问
这里看了代码的小伙伴可能会发现我将其他变量的值写在了v7中(这里将其他变量的值转成了字符)
 
 其实我们在定义变量处就可以发现变量的定义在内存中是连续的,也就是说原本可能是数组,但是IDA识别成了变量,从sub_4010F0函数中也可以发现这一点
 
 
 传递的第一个参数是指针,而第二个参数为0,第三个为10, 这个函数的代码里有一个for循环
a2=0
a3=10
for(i=0; i <= 10;...)`
这个for循环一共循环11次,而我们将变量加上v7数组后一共11个int大小的单元,也就是说明对其他变量进行了操作,再看这行代码
v6 = *(_DWORD *)(4 * i + a1);
少见这种代码的小伙伴可能会懵逼,这是IDA寻址的一种表示,可以看成
a1[i]
为什么这样看?
 首先a1是指针,4就是int类型占用的内存大小,i是数组的下标,里面计算出地址
(4 * i + a1)
然后转成32位下的地址
(_DWORD *)(4 * i + a1)
地址解引用
int* p = (_DWORD *)(4 * i + a1)
*p
此时的*p不就等于 *(_DWORD *)(4 * i + a1)吗
第二个判断
继续看第二个判断
String[1] == v10

看起来v10似乎没有变化,但是不要忘了我前面说的,这些变量就是一个int数组,v7被作为指针传递v10在v7的下标也就是4
 我们稍微改变我们上一步输出的源代码

最后输出J
第三处判断
4 * String[2] - 141 == 3 * v8
大概公式推导出
String[2] = (3*v8+141) / 4
直接上代码
 
结果 W
第四处判断
String[3] / 4 == 2 * (v13 / 9)
推导
String[3] == 2 * (v13 / 9) * 4

结果 P
第五处判断
!strcmp(v4, "ak1w")
需要v4和ak1w相等
 让我们看看v4在何处
 
 很明显,跟v18扯上了关系
 
这里我排个序
v18[0] = String[5];
v18[1] = String[6];
v18[2] = String[7];
v4 = (const char *)sub_401000((int)v18, strlen(v18));
进入函数看看
 
 这里看到一个比较特殊的变量好吧
 点进去看
 
 一眼盯真,base64编码表
 也就是说v4可能是三个字符的编码后的结果
 这里对 ak1wbase解码 jMp
第五处判断
!strcmp(v5,"V1Ax"))
这里函数用的都是同一个

v18[0] = String[2];
v18[1] = String[3];
v18[2] = String[4];
V1Ax解码 WP1
三、flag
至此全部判断都解出来了,可以发现,所有判断都是围绕着String进行的,最后解得的String就是flag
首先是最后两处判断得到的 String[2] - String[7] 等于 WP1jMp
 还有第一处得到的 String[0] 等于 U
 第二处得到的 String[1] 等于 J
最后得到flag
flag{UJWP1jMp}

四、最后
我们发现我们解出的其他两处似乎没用上,这个故事告诉我们
 捷径总是到成功时才发现,但是一切都不再有回头路。



















