Test manquant ?

J'ai l'impression qu'il manque un test qui est pourtant important pour distinguer les approches/outils :

#include <stdio.h>
int main(int argc, char** argv)
{
 int values[4] = {1, 2, 3, 4};
 int other_values[4] = {10, 20, 30, 40};
 printf("%d\n", values[4]);
 return 0;
}

L'exécution du code compilé avec GCC va déclencher un accès à other_values[0] qui est "légitime" au sens où c'est une valeur qui existe, qui est proprement initialisée. Valgrind n'y voit que du feu (et ne pourrait pas trop faire autrement), mais address sanitizer ajoute le check de débordement de tableau qui va bien à la compil et trouve l'erreur à l'exécution.