使用无符号的int作为数组索引可能导致缓冲区溢出？

Question

我有这个代码，必须在其中找到安全漏洞。

win() {
    printf("Congratulations!");
}
setter(unsigned int i, int v, int * a) {
    a[i] = v;
}

main() {
    int i, v;
    int a[50];
    puts("i");
    scanf("%d", i);
    puts("v");
    scanf("%d", v);
    setter(i, v, a)
}

在Internet上阅读，我发现，当从int转换为未签名的INT发生时，如果INT为负数，则将转换为一个非常高的未签名INT。因此，此代码中的漏洞可能是由于此转换造成的，该转换是在setter中在main函数中调用的。因此，攻击者可以给出以下输入：i = -1，v = 40，他将访问内存的一部分，该内存不保留到缓冲区a等等，在setter函数中，攻击者将能够覆盖重要值。例如，攻击者可以用win函数的地址覆盖返回地址，以便在setter返回时执行win。我对吗？

Answer 1

摘要一些评论和一些添加的内容

首先，该代码是错误的。 scanf的参数需要是指示：

scanf("%d", &i); // Note the &

如果int是负数，则将转换为非常高的无符号int。

是的，从技术上讲，这是正确的，这也是真的，这可能会导致界限访问数组。但是，即使您更改为未签名，也没有什么可以阻止攻击者简单地键入任何数字，包括任何数字（unsigned）-1都将在特定系统上。

解决此安全问题的正确方法是检查输入的数字是否在范围内[0,49]。如果您使用未签名的数字，则可以跳过检查是否低于零，出于明显的原因。但是您仍然需要进行范围检查。