Discussion :

[transgohan]

Les outils d'analyse dynamique sont très utiles mais c'est loin d'être aussi complet que ce que permet l'analyse statique d'un langage qui s'y prête bien comme Rust (Ada aussi, mais je vais plutôt parler de Rust que je connais mieux).
Ces outils se contentent de détecter les cas d'erreurs quand ils se produisent. C'est un grand progrès par rapport a pas d'analyse du tout, mais ils ne peuvent pas garantir que tous les cas d'utilisation ont été couverts.

Sonar est un outil d'analyse statique.

[Uther]

Ok, je ne connais pas Sonar en particulier, mais de ce que j'avais vu quand je m'étais renseigné dessus, les outils d'analyse statique C, sont certres utiles, mais ils sont loin d'offrir des garanties certaines contre les erreurs mémoire. Le langage C n'étant particulièrement pas adapté pour leur faciliter la tache.

[transgohan]

J'utilise au boulot Sonar et Klocwork sur du langage C et honnêtement je trouve qu'ils s'en sortent pas mal.
Certes il y a des faux positifs mais on retrouve grâce à eux de vrai erreurs.
Je n'ai que très rarement vu des erreurs qu'ils ne voient pas (bon après on cherche pas à coder comme des singes non plus... ).