Est-ce que valgrind suit l'initialisation de la mémoire via les pilotes?

Question

valgrind signale les erreurs de mémoire non initialisée de code comme ceci:

unsigned char buf[100]; 
struct driver_command cmd; 
cmd.len = sizeof(buf); 
cmd.buf = buf; 
ioctl(my_driver_fd, READ, &cmd); 

for(i = 0; i < sizeof(buf); i++) 
{ 
    foo(buf[i]); /* <<--- uninit use error from valgrind */ 
} 

Si je memset() buf avant l'appel du pilote, l'erreur disparaît.

Est-ce que valgrind peut détecter si le pilote Linux écrit correctement dans le tampon? (J'ai regardé le code du pilote, et il semble être correct, mais peut-être qu'il me manque quelque chose.)

Ou passe-t-il simplement l'appel du conducteur et n'a aucun moyen de savoir que le tampon a été écrit à l'intérieur le noyau?

Merci.

Answer 1

Valgrind ne peut évidemment pas suivre l'exécution dans le noyau, mais il connaît la sémantique visible de la plupart des appels système. Mais ioctl est trop imprévisible. Si vous aviez codé votre pilote de façon à ce que ce soit un appel read, il serait correct. C'est une meilleure pratique de toute façon.