J'ajouterais à ton ajout qu'on peut également détecter les (des) problèmes d'UB avec des analyseurs statiques de code, en plus d'utiliser les sanitizers dynamiques de clang. Ca peut montrer beaucoup de choses (ainsi que de rappeler un paquet de règles du C/C++ qui peuvent être oubliées, en lisant les résultats)
(Divulgation complète : l'entreprise pour laquelle je travaille vend un analyseur statique, mais ce n'est pas vraiment la partie sur laquelle je bosse)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: tester c'est douter, mais testez !
Posté par 2PetitsVerres (Mastodon) . En réponse au journal Faites des tests !. Évalué à 3.
J'ajouterais à ton ajout qu'on peut également détecter les (des) problèmes d'UB avec des analyseurs statiques de code, en plus d'utiliser les sanitizers dynamiques de clang. Ca peut montrer beaucoup de choses (ainsi que de rappeler un paquet de règles du C/C++ qui peuvent être oubliées, en lisant les résultats)
(Divulgation complète : l'entreprise pour laquelle je travaille vend un analyseur statique, mais ce n'est pas vraiment la partie sur laquelle je bosse)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.