攻防世界Reverse(3)
gametime
看题目描述是个游戏时间，应该有关游戏的，下载是个exe文件，运行起来有点看不懂，那我们先记录下来里面的一些字符，等反编译时去针对性的查看。
这里的文件查看是没有得到什么信息的，那我们就用ida打开它去看看里面到底是些什么：
（伪代码有点长，我们就一段一段的来分析）
而下面这个函数sub_4012D5(0xC8u)则是它输入的下面的一串字符。
代码有点长，不过此时我们其实就应该可以想到这道题可能用到了动态调试了，不过我们还是要找到我们所需的代码处。后来也看不下了，实在有点多，不过下面的key应该是flag了，我们就要得到它就行了。
然后程序中就出现了：
这样子flag就得到了，不过一直运行起来挺费时间的，我们一不小心就又得重来。
知识点
这道题就是考察OD，不过刚开始确实不容易想出了，因为我刚开始就不知道它这个到底是说明意思，后来才发现s和m出现的太快以至于我根本没有看到，所以我们要静态和动态结合起来来看！
知识点上并没有什么要说的。
reverse-for-the-holy-grail-350
打开，发现是用C++写的，在攻防世界里面，越往后越是用的C++。
userIn这个是个字符串要用到。qword_601AE8也是个。但是这里仔细看发现是不能够得到flag的。所以我们往上看，去找找我们要的。
此时我们就要去看看这个函数了，它里面有三个数组了。分析来看，v4是一个关键，不能为负值。
stringMod：
上面的无法完全找到，所以：
再来看看下面的：
此时我们就可以开始写脚本了，由下向上的开始吧。但是这样子不好写，而且它也并非是线性关系，而是这个三个数组负责不同的位数。
脚本：
此时我们再来分析一下代码，因为这个思路可能比较难理解这个脚本。
此时我们假如输入的是flag了，它们会进入stringMod这个关键函数，而里面有三个数组《firstchar thirdchar masterArray》这三个。然后首先要对3的倍数进行核对（0，3，6…）然后有个必经的循环（上面提到过），此时说明下两个数组要经过这个加密：
有难点，不过还是能够做出来的。
tt3441810
这道题我首先用ida打开，发现是不行的，所以我们就EP探测下，看看
其实到这里我有点想用linus系统去查看这个文件（因为windows系统是根据后缀明来判断文件的）后来发现它是个txt的，就是个数据，从这些数据里面发现一些我要的flag。
柑橘它不该分到re，应该是mics或crypto
然后就解出来了，不过这个还有些其它的干扰字符，如下：
hflHH4$HHhagHH4$HHh{pHH4$HHhopHH4$HHhpoHH4$HHhprHH4$HHhetHH4$HHh}HH4$HHH1H<
HH4$HH这个应该是干扰的，还有h这个也是个干扰项，最后提交的时候还不行，必须把flag{}这个去掉，即 poppopret
知识点
这个主要考察我们去分析文件（以二进制来），这样我们就需要去除一些干扰的字符，去找到我们想要的数据（data层）
re2-cpp-is-awesome
这道题有个提示：
应该就是C++的逆向了，不过C++的逆向必须要精简代码一下，这样子才好分析了：
这个关键的判断，有几个关键的地方，off_6020A0和dword_6020C0这个。然后去追踪一下，找到这两个数组的内容就好了。
align 8 就是8个字节对齐，在这里就是间隔了8个0，就是这里还有一个0的意思：
然后就写出脚本了。
知识点
其实这道题也没什么要讲的，主要是熟悉一下C++写的脚本。
流浪者
打开时个cm.exe文件，运行一下看看大致内容是什么：
此时我们可以打开ida来分析一下：（这时需要搜索字符串来发现它的主函数）
此时我们再去sub_4017F0这个函数里面看看：
此时我们就可以写出脚本了：
此时就解出flag了。
知识点
没有太难的地方，有几个加密需要了解一下。
re4-unvm-me
下载开发现是个pyc文件。这里要用到一个工具啦，EasyPythonDecompiler这个啦。
会出现一个文件，改掉后缀名为txt，就可以查看代码了。
如下：
有个原始的数据，是十进制，那我们进制转换为十六进制，在逐一（每一行的）进行md5解密，最后拼凑到一起就十flag了：
ALEXCTF{dv5d4s2vj8nk43s8d8l6m1n5l67ds9v41n52nv37j481h3d28n4b6v3k}
知识点
这里十接触到了pyc的反编译了，用的是 EasyPythonDecompiler 这个工具进行反编译，将pyc文件直接拖进去，就可以了，还是很简单的。
ReverseMe-120
打开是个.exe的文件，运行起来如下：
然后我们就用ida去打开，开始静态分析啦：
最主要的便是flag_crypto这个函数了（ 注 该函数我修改过，请从上图寻找），还有就是那个for循环，有个异或啦。
而且上面还有个循环，才和那串字符比较啦。所以猜测上面的循环是那个加密函数啦：
然后从十六进制去看一下啦：
以后记住啦，原来base表还有这个呀！
此时就可以写脚本了：
flag: XEpQek5LSlJ6TUpSelFKeldASEpTQHpPUEtOekZKQUA=
知识点
1. load(set)系列，用于加载数据，从内存到暂存器。
__m128i _mm_load_si128(__m128i *p);
__m128i _mm_loadu_si128(__m128i *p);
2. store系列，用于将计算结果等SSE暂存器的数据保存到内存中。
void _mm_store_si128 (__m128i *p, __m128i a);
void _mm_storeu_si128 (__m128i *p, __m128i a);
_mm_load_si128 函数表示从内存中加载一个128bits值到暂存器，也就是16字节，注意 p必须是一个16字节对齐的一个变量的地址。返回可以存放在代表寄存器的变量中的值。
_mm_loadu_si128 函数和 _mm_load_si128 一样的，但是不要求地址p是16字节对齐。
store系列的 _mm_store_si128 和 _mm_storeu_si128 函数，与上面的load系列的函数是对应的。 表示将__m128i 变量a的值存储到p所指定的地址中去。
_mm_xor_si128 用于计算128位（16字节）的按位异或，然后通过v14控制循环结束的条件，可以看到v14增长的步长为16，而且通过上面得到的flag值解码得到的字符串为32个字节大小，正好是16的整数倍。
easyre-153
这次用到了EP，平时我都不用，没想到这时用到了，不过打比赛时要用到，以防万一。
然后upx去壳。
然后就可以用ida打开它啦，没想到第一次去壳没去好，得再去一遍才行。直接找到mian函数：
pipe 是个linus编程函数，是个管道，也就是一种把两个进程之间的标准输入和标准输出连接起来的机制，从而提供一种让多个进程间通信的方法。
复刻（英语：fork，又译作派生、分支）是UNIX或类UNIX中的分叉函数，fork 函数将运行着的程序分成2个（几乎）完全一样的进程，每个进程都启动一个从代码的同一位置开始执行的线程。这两个进程中的线程继续执行，就像是两个用户同时启动了该应用程序的两个副本。
对了write是写入，就好像赋值一样，read就是读取，也可以理解为输入。
此时我们看看not_flag这个函数，也就是lol函数，因为我改了一下名字：
此时我们写个脚本，也是个猜测，因为也没什么明显的提示，所以我们猜测最后会输出flag，因为它最后说你获得了key，也就是flag：
不过flag是RCTF{rhelheg}
notsequence
EP了一下，没有加壳。那我们就用ida打开它，直接找到main函数：
然后我们来看看着两个函数，先来第一个：
其实到这里的数据就变成了1，2，4，8，16…了，此时我们再来看看第二个函数：
然后总结一下，v2是20，也就是第一个函数赋值是20，并且里面也说明数据为1，2，4，8，16…等，第二个函数，其实也就是1+1=2，1+2=3，2+2=4，2+3=6。
hint：上面有个图标错了，就是第二个函数的图，它其实a1[v3*(v3+1)][i]这样子的，它也就是个杨辉三角，20位的杨辉三角：
那么此时flag就有了。
RCTF{37894beff1c632010dd6d524aa9604db}
Replace
打开是个rar的压缩包，刚开始看的文件名有点长，没看到后缀名，以为直接是个文件，直接逆向，实力眼瞎！！！
哈哈，解压是个exe文件，用EP看看：
然后去壳它：
此时就可以用ida去逆向了，不过我们也可以再用EP看看是否去壳成功。此时我们打开exe文件发现输入什么都没有显示，ida打开发现mian函数很好的弄清逻辑：
第一个判断其实没有精确的判断到长度是多少，所以我们就进入sub_401090这个函数里看看：
这个是历遍每一个数字，然后我们就可以用枚举法进行爆破每一个数字。还有byte_402150这个函数包含byte_402151了这个函数，看看这三个数据的内容：
此时我们就可以尝试去写脚本了。
byte1 = [ 50, 97, 52, 57, 102, 54, 57, 99, 51, 56,
51, 57, 53, 99, 100, 101, 57, 54, 100, 54,
100, 101, 57, 54, 100, 54, 102, 52, 101, 48,
50, 53, 52, 56, 52, 57, 53, 52, 100, 54,
49, 57, 53, 52, 52, 56, 100, 101, 102, 54,
101, 50, 100, 97, 100, 54, 55, 55, 56, 54,
101, 50, 49, 100, 53, 97, 100, 97, 101, 54]
byte2 = [97, 52, 57, 102, 54, 57, 99, 51, 56, 51,
57, 53, 99, 100, 101, 57, 54, 100, 54, 100,
101, 57, 54, 100, 54, 102, 52, 101, 48, 50,
53, 52, 56, 52, 57, 53, 52, 100, 54, 49,
57, 53, 52, 52, 56, 100, 101, 102, 54, 101,
50, 100, 97, 100, 54, 55, 55, 56, 54, 101,
50, 49, 100, 53, 97, 100, 97, 101, 54]
byte3 = [99, 124, 119, 123, 242, 107, 111, 197, 48, 1,
103, 43, 254, 215, 171, 118, 202, 130, 201, 125,
250, 89, 71, 240, 173, 212, 162, 175, 156, 164,
114, 192, 183, 253, 147, 38, 54, 63, 247, 204,
52, 165, 229, 241, 113, 216, 49, 21, 4, 199,
35, 195, 24, 150, 5, 154, 7, 18, 128, 226,
235, 39, 178, 117, 9, 131, 44, 26, 27, 110,
90, 160, 82, 59, 214, 179, 41, 227, 47, 132,
83, 209, 0, 237, 32, 252, 177, 91, 106, 203,
190, 57, 74, 76, 88, 207, 208, 239, 170, 251,
67, 77, 51, 133, 69, 249, 2, 127, 80, 60,
159, 168, 81, 163, 64, 143, 146, 157, 56, 245,
188, 182, 218, 33, 16, 255, 243, 210, 205, 12,
19, 236, 95, 151, 68, 23, 196, 167, 126, 61,
100, 93, 25, 115, 96, 129, 79, 220, 34, 42,
144, 136, 70, 238, 184, 20, 222, 94, 11, 219,
224, 50, 58, 10, 73, 6, 36, 92, 194, 211,
172, 98, 145, 149, 228, 121, 231, 200, 55, 109,
141, 213, 78, 169, 108, 86, 244, 234, 101, 122,
174, 8, 186, 120, 37, 46, 28, 166, 180, 198,
232, 221, 116, 31, 75, 189, 139, 138, 112, 62,
181, 102, 72, 3, 246, 14, 97, 53, 87, 185,
134, 193, 29, 158, 225, 248, 152, 17, 105, 217,
142, 148, 155, 30, 135, 233, 206, 85, 40, 223,
140, 161, 137, 13, 191, 230, 66, 104, 65, 153,
45, 15, 176, 84, 187, 22]
for i in range(35):
for j in range(32,126):
v5 = j
v6 = (v5 >> 4) % 16
v7 = (16 * v5 >> 4) % 16
v8 = byte1[2 * i]
if ( v8 < 48 or v8 > 57 ):
v9 = v8 - 87
else:
v9 = v8 - 48
v10 = byte2[2 * i]
v11 = 16 * v9
if ( v10 < 48 or v10 > 57 ):
v12 = v10 - 87
else:
v12 = v10 - 48
if ( byte3[16 * v6 + v7] == ((v11 + v12) ^ 0x19) ):
print(chr(j),end='')
break
flag{Th1s_1s_Simple_Rep1ac3_Enc0d3}
这样子就好了。
