Dans le langage C on ne peut pas s'appuyer sur les types parce qu'il est possible de faire des coercions de types. On ne peut pas non plus s'appuyer sur les indices des tableaux, car on peut faire des calculs sur les adresses.