4.12  Vérificateur mémoire 3/3

• Pas de vérification des bornes de tableaux statiques :

  $ cat -b bornes.c
       1 #include <stdio.h>
       2 int main(void){
       3 char tab[10];
       4 int i;
       5 for(i=1;i<=10;i++) tab[i]=i;
       6 for(i=1;i<=10;i++) printf("%d\n",tab[i]);
       7 return 0;
       8 }
  $ valgrind ./bornes
  ==5277== Memcheck, a memory error detector
  ...
  ==5277== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 11 from 6)