c - 黑客挑战-在代码中定位漏洞

我的朋友最近完成了一次黑客攻击，并将其发送给我（二进制和源代码）。我想先问一下这里，然后再问他一些技巧，因为我想自己做:)

我一直在经历它，但我一直在努力寻找漏洞。

#include <alloca.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

static void usage(const char *argv0) {
    printf("Build your own string!\n");
    printf("\n");
    printf("Usage:\n");
    printf("  %s length command...\n", argv0);
    printf("\n");
    printf("Each command consist of a single character followed by it's index.\n");
    printf("\n");
    printf("Example:\n");
    printf("  %s 11 h0 e1 l2 l3 o4 w6 o7 r8 l9 d10\n", argv0);
    exit(1);
}

int main(int argc, char **argv) {
    char *buffer;
    unsigned short buffersize, i, index, length;

    if (argc < 2) usage(argv[0]);

    length = atoi(argv[1]);
    if (length <= 0) {
            fprintf(stderr, "bad length\n");
            return 1;
    }

    buffersize = length + 1;
    buffer = alloca(buffersize);
    memset(buffer, ' ', buffersize);
    buffer[buffersize - 1] = 0;

    for (i = 2; i < argc; i++) {
            if (strlen(argv[i]) < 2) {
                    fprintf(stderr, "bad command \"%s\"\n", argv[i]);
                    return 1;
            }

            index = atoi(argv[i] + 1);
            if (index >= length) {
                    fprintf(stderr, "bad index in command \"%s\"\n", argv[i]);
                    return 1;
            }

            buffer[index] = argv[i][0];
    }

    printf("%s\n", buffer);
    return 0;
}

我认为该漏洞位于short int和alloca的使用之内。

输入./app 65535 65535可能会导致段错误，但实际上我无法覆盖任何内容，因为buffer只会设置为max 65535或它会循环。这使我认为我无法覆盖EIP来注入shellcode。

谁能帮我在哪里看？

谢谢！

最佳答案

实际上，该漏洞在于您可以在分配给alloca的缓冲区中的任意偏移处存储字符，但是测试是在length而不是size上完成的。传递65535和a1的参数将调用未定义的行为：size作为值0，因为如果unsigned short具有16位，则会进行算术环绕。

您可以尝试传递第一个参数65535和后续参数（其偏移量增加），这将戳除buffer末尾的值，可能覆盖main的返回地址并导致崩溃：

myprog 65535 a3 a7 a15 a19 a23 a27 a31 a35 a39 a43 a47 a51 a55 a59 a63 ...

根据实际的局部变量布局，所需的偏移量可能大于17，但应小于80。