1987年国际C语言混乱代码大赛获奖的一行代码

最近CoolShell博主做了一个很有意思的在线puzzle,这些谜题很有趣同时也有一定的难度。由于水平有限,我并没有通关,我觉得这些题还是很值得一做的,从中可以学到很多东西。

例如其中的第二题:

题目中给出了一个键盘和一行看不懂的字符串。这个键盘的键盘布局和现在通用的键盘(QWERTY键盘)不一样,它叫做Dvorak键盘。这里就不多作解释了,详细的可以去Google。根据提示:我们需要通过两种键盘的布局映射,将给出的字符串转换成QWERTY键盘下的输出。当然,你可以自己一对一写出来,不过在线转换工具更方便。

1
macb() ? lpcbyu(&gbcq/_\021%ocq\012\0_=w(gbcq)/_dak._=}_ugb_[0q60)s+

转换之后得到:

1
main() { printf(&unix["\021%six\012\0"],(unix)["have"]+"fun"-0x60);}

这是1987年国际C语言混乱代码大赛(The International Obfuscated C Code Contest, IOCCC)一等奖的获奖代码,由贝尔实验室的David Korn提交。当然平时我们不会写出这么复杂难懂的代码,但是分析这样的代码却可以扩展我们的知识。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
int main() 
{

/* unix被编译器内定为一个宏
* 相当于#define unix 1 */


printf("unix=%d\n", unix); /* =1 */

/* 打印字符串"un",因为"fun"是个字符数组
* "fun"+1相当于字符指针右移,指向"un" */

printf("%s\n","fun"+1);

/* "have"是个字符数组,"have"[1]即字符a
* 输出97,即第二个字符'a'的ASCII值。*/

printf("%d\n", "have"[1]);
printf("%d\n", 'a');

/* 在C语言中,x[1] = 1[x] */
printf("%d\n", (1)["have"]);

/* 97 - 96 = 0x61 - 0x60 = 1 */
printf("%d\n", (1)["have"] - 0x60);

/* 所以 "fun"+((1)["have"]-0x60) 相当于"fun"+1,输出"un" */
printf("%s\n", "fun" + ((1)["have"] - 0x60));

/* 将其中的1用unix代替 */
printf("%s\n", (unix)["have"]+"fun"-0x60);

/* 以上为后半部分 = "un" */

/* 下面两个都输出"bcde", 因为指针都是从'b'开始 */
printf("%s\n", "abcde" + 1);
printf("%s\n", &"abcde"[1]);

/* &"abcde"[1] == &(1)["abcde"] 输出一样 */
printf("%s\n", &(1)["abcde"]);

/* 1用unix代替 */
printf("%s\n", &unix["abcde"]);

/* 下面输出"%six" 并换行 */
printf("%s", &"?%six\n"[1]);

/* 注意:
\012 = 0x0a = \n,
第一个字符 \021 被跳过
\0 是空字符 */


/* 同样输出"%six" 并换行 */
printf("%s", &"\021%six\012\0"[1]);

/* 相当于这样 */
printf("%s", &unix["\021%six\012\0"]);

/* 把字符串"%six\n"当作格式,输出"ABix" */
printf(&unix["\021%six\012\0"], "AB");

/* 相当于这样 */
printf("%six\n", "AB");

/* 所以下面的可以输出"unix" */
printf("%six\n", (unix)["have"]+"fun"-0x60);

/* 至此,问题解决!!!输出"unix" */
printf(&unix["\021%six\012\0"],(unix)["have"]+"fun"-0x60);

return 0;
}

这段代码主要用到了x[a]和指针运算的一些知识,相信上面的步骤和注释已经很清楚了,最终结果就是输出unix