Почему электрический забор / Valgrind не может уловить проблему переполнения буфера?

Я создал программу с ошибками — buggy.c — это сценарий переполнения буфера для буфера t.
Вы можете видеть, что я пишу более 5 индексов. Работает нормально. Это никогда не бросает мне ошибку. Мне было интересно, почему это так? Я пробовал даже Valgrind, это также не может найти эту проблему. Подскажите, пожалуйста, в чем здесь проблема?

void buffer_overflow(void)
{
int t[5];
int i = 0;

for(i = 0; i<=7; i++)
{
t[i] = i;

}/** this will cause buffer overflow **/
printf("Memory_overflow_completed\r\n");

}int main(int argc, char **argv)
{

buffer_overflow();

return 0;
}

$gcc -g buggy.c -o buggy.out -lefence

$./buggy.out

Тем не менее, я не получаю никакого сбоя. Здесь нет эффекта электрического забора.
Что мне не хватает?
Я видел аналогичный вопрос, размещенный здесь GCC с библиотекой электрического забора не вступает в силу, но, похоже, ответа пока нет.
Я запускаю этот пример на FC19. У кого-нибудь есть ответ на это? Даже Valgrind не может обнаружить проблему? Есть ли другой инструмент для обнаружения этих проблем?

Основываясь на дальнейших комментариях, я пересмотрел функцию переполнения буфера, чтобы она была обнаружена Electric Fence. Однако Electric Fence не может обнаружить проблему. Вот модифицированная функция.

void buffer_overflow(void)
{

#if 0
int t[5];
int i = 0;

for(i = 0; i<=7; i++)
{
t[i] = i;

}
#endif

char *t = malloc(sizeof(char)*7);
strcpy(t,"SHREYAS_JOSHI");/** this will cause buffer overflow **/
printf("Memory_overflow_completed\r\n");
free(t);

}

[joshis1@localhost blogs-tune2wizard]$ gcc -g buggy.c  -o buggy.out -lefence

[joshis1@localhost blogs-tune2wizard]$ ./buggy.out

Electric Fence 2.2.2 Copyright (C) 1987-1999 Bruce Perens <[email protected]>
Memory_overflow_completed

Electric Fence не обнаружил никаких ошибок, но Valgrind по крайней мере показал это.