переполнения буфера не произошло

Question

Я попробовал этот пример кода на C:

int main() 
{ 
    int array[5]; 
    int i; 

    for (i = 0; i <= 255; i++) 
    { 
     array[i] = 10; 
    } 
} 

и компилировать его с помощью:

gcc -m32 -o a.out buffer2.c 

мой вопрос, почему не Сегментация вина?

я использовать Kali Linux 64

VENDOR_ID: GenuineIntel

Название модели Intel (R) ядра (ТМ) i3 CPU M 350 @ 2.27GHz

Архитектура: x86_64

CPU op-mode (s): 32-bit, 64-bit

Байт: Маленький Эндиан

---

Я редактировал код, добавив следующие две строки:

int main() 
{ 
    int x = 12; 

    int array[5]; 
    int i; 

    for (i = 0; i <= 255; i++) 
    { 
     array[i] = 10; 
    } 

    printf("%d\n", x); 
} 

и что является результатом:

10 
Segmentation fault 

Answer 1

В C. проверка кадров во время выполнения C. Запись в элементы за пределами массива undefined behavior. Неопределенное поведение означает, что что-то может случиться в том, что касается стандарта. Таким образом, хотя вероятность сегментации довольно вероятна, это отнюдь не гарантировано.

Просто потому, что не было ошибки сегментации, это не означает, что переполнение буфера не было. Там определенно было. На этот раз это не привело к ошибке сегментации. Этот тип ошибки является серьезным и может вызвать ряд проблем безопасности. Мораль этой истории не вызывает переполнения буфера. Это небезопасно, и вы не можете полагаться на C, чтобы защитить вас.

Answer 2

Try:

sudo echo 0 > /proc/sys/kernel/randomize_va_space 

И скомпилировать снова, как это:

gcc buffer2.c -o buffer2 -fno-stack-protector