C’est intéressant ce que tu dis. Mais présentement, comment ce genre d’analyseur aurait pu éviter la confusion des arguments dans memset ?
Parce que memset(pointer, sizeof(data), 0); est valide et me semble difficilement repérable. Encore là, comme le 0 est en dur, on peut se douter que cette ligne est idiote. Mais dans le cas où le 0 aurait été une variable connue qu’à l’exécution, variable suffisament contrainte pour ne pas être plus grande que la taille du tableau de pointer ? Dans ce cas, je vois mal comment un outil quelconque d’analyse aurait pu trouver l’erreur.
Dans tous les cas cela montre qu’il ne faut pas trop se reposer sur ce genre d’outils. Ne serait-ce parce qu’il se peut que « l’erreur bête » donne quelque chose de valide à travers l’analyseur, la compilation et les tests. En cas de doute, la consultation de la documentation est primordiale. Alors les pages de man sont peut-être préhistoriques, mais c’est typiquement le genre de cas où leur légèreté et leur rapidité leur permettent d’être efficaces.
[^] # Re: et les implications juridique ?
Posté par BB . En réponse au journal Microsoft est dans le top 5 des contributeurs de linux 3.0. Évalué à 1.
C’est intéressant ce que tu dis. Mais présentement, comment ce genre d’analyseur aurait pu éviter la confusion des arguments dans memset ?
Parce que memset(pointer, sizeof(data), 0); est valide et me semble difficilement repérable. Encore là, comme le 0 est en dur, on peut se douter que cette ligne est idiote. Mais dans le cas où le 0 aurait été une variable connue qu’à l’exécution, variable suffisament contrainte pour ne pas être plus grande que la taille du tableau de pointer ? Dans ce cas, je vois mal comment un outil quelconque d’analyse aurait pu trouver l’erreur.
Dans tous les cas cela montre qu’il ne faut pas trop se reposer sur ce genre d’outils. Ne serait-ce parce qu’il se peut que « l’erreur bête » donne quelque chose de valide à travers l’analyseur, la compilation et les tests. En cas de doute, la consultation de la documentation est primordiale. Alors les pages de man sont peut-être préhistoriques, mais c’est typiquement le genre de cas où leur légèreté et leur rapidité leur permettent d’être efficaces.