1、32 位程序，无壳
2、运行程序发现没有动静，可以猜测代码中有需要大量时间的冗余代码。
3、载入 IDA 中
main 函数调用了很多函数看着很吓人，其实只有三种函数。sub_401000, sub_401100, sub_401220
sub_401000 --> add 加法运算
这里不需要分析一个负数减到 0 到底进行多少次运算，我们可以试想一下如果 v4 是一个正数，例如 3，那么第一个循环也就进行了三次，a1 实际上进行的运算为 a1 -= 3，那么不管 v4 是多少，实际上都是 a1 -= v4而已。在进行这种负数的分析时，可以直接用结果来简化分析，而不考虑中间究竟是如火变化的。
sub_401100 --> mul 乘法运算
循环加也就是一个乘法运算
sub_401220 --> sub 减法运算
4、根据 IDA 中的 main 函数稍加修改后得到 EXP，运行得到 flag。
1 #include<iostream>
2 using namespace std;
3
4 int add(int a1, int a2)
5 {
6 return (a1 + a2);
7 }
8
9 int mul(int a1, int a2)
10 {
11 return (a1 * a2);
12 }
13
14 int sub(int a1, int a2)
15 {
16 return (a1 - a2);
17 }
18
19 int main()
20 {
21 int v3; // eax@4
22 int v4; // eax@4
23 int v5; // eax@4
24 int v6; // eax@4
25 int v7; // eax@4
26 int v8; // eax@4
27 int v9; // eax@4
28 int v10; // eax@4
29 int v11; // eax@4
30 int v12; // eax@4
31 int v13; // eax@4
32 int v14; // eax@4
33 int v15; // eax@4
34 int v16; // eax@4
35 int v17; // eax@4
36 int v18; // eax@4
37 int v19; // eax@4
38 int v20; // eax@4
39 int v21; // eax@4
40 int v22; // eax@4
41 int v23; // eax@4
42 int v24; // eax@4
43 int v25; // eax@4
44 int v26; // eax@4
45 int v27; // eax@4
46 int v28; // eax@4
47 int v29; // eax@4
48 int v30; // eax@4
49 int v31; // eax@4
50 int v32; // eax@4
51 int v33; // eax@4
52 int v34; // eax@4
53 int v35; // eax@4
54 int v36; // eax@4
55 int v37; // eax@4
56 int v38; // eax@4
57 int v39; // eax@4
58 int v40; // eax@4
59 int v41; // eax@4
60 int v42; // eax@4
61 int v43; // eax@4
62 int v44; // eax@4
63 int v45; // eax@4
64 int v46; // eax@4
65 int v47; // eax@4
66 int v48; // eax@4
67 int v49; // eax@4
68 int v50; // eax@4
69 int v51; // eax@4
70 int v52; // eax@4
71 int v53; // eax@4
72 int v54; // eax@4
73 int v55; // eax@4
74 int v56; // eax@4
75 int v57; // eax@4
76 int v58; // eax@4
77 int v59; // eax@4
78 int v60; // eax@4
79 int v61; // eax@4
80 int v62; // eax@4
81 int v63; // eax@4
82 int v64; // eax@4
83 int v65; // eax@4
84 int v66; // eax@4
85 int v67; // eax@4
86 int v68; // eax@4
87 int v69; // eax@4
88 int v70; // eax@4
89 int v71; // eax@4
90 int v72; // eax@4
91 int v73; // eax@4
92 int v74; // eax@4
93 int v75; // eax@4
94 int v76; // eax@4
95 int v77; // eax@4
96 int v78; // eax@4
97 int v79; // eax@4
98 int v80; // eax@4
99 int v81; // eax@4
100 int v82; // eax@4
101 int v83; // eax@4
102 int v84; // eax@4
103 int v85; // eax@4
104 int v86; // eax@4
105 int v87; // eax@4
106 int v88; // eax@4
107 int v89; // eax@4
108 int v90; // eax@4
109 int v91; // eax@4
110 int v92; // eax@4
111 int v93; // eax@4
112 int v94; // eax@4
113 int v95; // eax@4
114 int v96; // eax@4
115 int v97; // eax@4
116 int v98; // eax@4
117 int v99; // eax@4
118 int v100; // eax@4
119 int v101; // eax@4
120 int v102; // eax@4
121 int v103; // eax@4
122 int v104; // eax@4
123 int v105; // eax@4
124 int v106; // eax@4
125 int v107; // eax@4
126 int v108; // eax@4
127 int v109; // ST1C_4@4
128 int v110; // eax@4
129 int v111; // eax@4
130 int v112; // ST20_4@4
131 int v113; // eax@4
132 int v114; // eax@4
133 int v115; // ST20_4@4
134 int v116; // eax@4
135 signed int i; // [sp+4h] [bp-90h]@1
136 signed int j; // [sp+8h] [bp-8Ch]@4
137 int v120[33]; // [sp+Ch] [bp-88h]@3
138
139
140 for (i = 0; i < 32; ++i)
141 v120[i] = 1;
142 v120[32] = 0;
143 cout << "Your flag is:";
144 v3 = mul(v120[0], 1000000000);
145 v4 = sub(v3, 999999950);
146 v120[0] = mul(v4, 2);
147 v5 = add(v120[1], 5000000);
148 v6 = sub(v5, 6666666);
149 v7 = add(v6, 1666666);
150 v8 = add(v7, 45);
151 v9 = mul(v8, 2);
152 v120[1] = add(v9, 5);
153 v10 = mul(v120[2], 1000000000);
154 v11 = sub(v10, 999999950);
155 v12 = mul(v11, 2);
156 v120[2] = add(v12, 2);
157 v13 = add(v120[3], 55);
158 v14 = sub(v13, 3);
159 v15 = add(v14, 4);
160 v120[3] = sub(v15, 1);
161 v16 = mul(v120[4], 100000000);
162 v17 = sub(v16, 99999950);
163 v18 = mul(v17, 2);
164 v120[4] = add(v18, 2);
165 v19 = sub(v120[5], 1);
166 v20 = mul(v19, 1000000000);
167 v21 = add(v20, 55);
168 v120[5] = sub(v21, 3);
169 v22 = mul(v120[6], 1000000);
170 v23 = sub(v22, 999975);
171 v120[6] = mul(v23, 4);
172 v24 = add(v120[7], 55);
173 v25 = sub(v24, 33);
174 v26 = add(v25, 44);
175 v120[7] = sub(v26, 11);
176 v27 = mul(v120[8], 10);
177 v28 = sub(v27, 5);
178 v29 = mul(v28, 8);
179 v120[8] = add(v29, 9);
180 v30 = add(v120[9], 0);
181 v31 = sub(v30, 0);
182 v32 = add(v31, 11);
183 v33 = sub(v32, 11);
184 v120[9] = add(v33, 53);
185 v34 = add(v120[10], 49);
186 v35 = sub(v34, 2);
187 v36 = add(v35, 4);
188 v120[10] = sub(v36, 2);
189 v37 = mul(v120[11], 1000000);
190 v38 = sub(v37, 999999);
191 v39 = mul(v38, 4);
192 v120[11] = add(v39, 50);
193 v40 = add(v120[12], 1);
194 v41 = add(v40, 1);
195 v42 = add(v41, 1);
196 v43 = add(v42, 1);
197 v44 = add(v43, 1);
198 v45 = add(v44, 1);
199 v46 = add(v45, 10);
200 v120[12] = add(v46, 32);
201 v47 = mul(v120[13], 10);
202 v48 = sub(v47, 5);
203 v49 = mul(v48, 8);
204 v50 = add(v49, 9);
205 v120[13] = add(v50, 48);
206 v51 = sub(v120[14], 1);
207 v52 = mul(v51, -294967296);
208 v53 = add(v52, 55);
209 v120[14] = sub(v53, 3);
210 v54 = add(v120[15], 1);
211 v55 = add(v54, 2);
212 v56 = add(v55, 3);
213 v57 = add(v56, 4);
214 v58 = add(v57, 5);
215 v59 = add(v58, 6);
216 v60 = add(v59, 7);
217 v120[15] = add(v60, 20);
218 v61 = mul(v120[16], 10);
219 v62 = sub(v61, 5);
220 v63 = mul(v62, 8);
221 v64 = add(v63, 9);
222 v120[16] = add(v64, 48);
223 v65 = add(v120[17], 7);
224 v66 = add(v65, 6);
225 v67 = add(v66, 5);
226 v68 = add(v67, 4);
227 v69 = add(v68, 3);
228 v70 = add(v69, 2);
229 v71 = add(v70, 1);
230 v120[17] = add(v71, 20);
231 v72 = add(v120[18], 7);
232 v73 = add(v72, 2);
233 v74 = add(v73, 4);
234 v75 = add(v74, 3);
235 v76 = add(v75, 6);
236 v77 = add(v76, 5);
237 v78 = add(v77, 1);
238 v120[18] = add(v78, 20);
239 v79 = mul(v120[19], 1000000);
240 v80 = sub(v79, 999999);
241 v81 = mul(v80, 4);
242 v82 = add(v81, 50);
243 v120[19] = sub(v82, 1);
244 v83 = sub(v120[20], 1);
245 v84 = mul(v83, -294967296);
246 v85 = add(v84, 49);
247 v120[20] = sub(v85, 1);
248 v86 = sub(v120[21], 1);
249 v87 = mul(v86, 1000000000);
250 v88 = add(v87, 54);
251 v89 = sub(v88, 1);
252 v90 = add(v89, 1000000000);
253 v120[21] = sub(v90, 1000000000);
254 v91 = add(v120[22], 49);
255 v92 = sub(v91, 1);
256 v93 = add(v92, 2);
257 v120[22] = sub(v93, 1);
258 v94 = mul(v120[23], 10);
259 v95 = sub(v94, 5);
260 v96 = mul(v95, 8);
261 v97 = add(v96, 9);
262 v120[23] = add(v97, 48);
263 v98 = add(v120[24], 1);
264 v99 = add(v98, 3);
265 v100 = add(v99, 3);
266 v101 = add(v100, 3);
267 v102 = add(v101, 6);
268 v103 = add(v102, 6);
269 v104 = add(v103, 6);
270 v120[24] = add(v104, 20);
271 v105 = add(v120[25], 55);
272 v106 = sub(v105, 33);
273 v107 = add(v106, 44);
274 v108 = sub(v107, 11);
275 v120[25] = add(v108, 42);
276 v120[26] = add(v120[26], v120[25]);
277 v120[27] = add(v120[27], v120[12]);
278 v109 = v120[27];
279 v110 = sub(v120[28], 1);
280 v111 = add(v110, v109);
281 v120[28] = sub(v111, 1);
282 v112 = v120[23];
283 v113 = sub(v120[29], 1);
284 v114 = mul(v113, 1000000);
285 v120[29] = add(v114, v112);
286 v115 = v120[27];
287 v116 = add(v120[30], 1);
288 v120[30] = mul(v116, v115);
289 v120[31] = add(v120[31], v120[30]);
290 cout << "CTF{";
291 for (j = 0; j < 32; ++j)
292 cout << char(v120[j]);
293 cout << "}\n";
294 return 0;
295 }