Il y a des outils d'analyse statique. Quelques uns en vrac (pas tous libres): clang-tidy, cppcheck, clint, coverity, codesonar, pvs studio, ...
L'idée est d'analyser le code lors de la compilation et de détecter ce genre de problèmes.
On peut aussi activer certaines protection à l'exécution dans les compilateurs modernes: ubsan (détecte le code exploitant des comportements laissés indéfinis par les spécification du C ou du C++), asan (détecte les accès à de la mémoire non allouée ou déjà libérée). Ça a un coût en terme de performances. S'il y a ce genre de besoins il est peut-être pertinent de regarder si un autre langage offrant plus de garanties ne serait pas un meilleur choix
[^] # Re: Cela me rappelle un bug ...
Posté par pulkomandy (site web personnel, Mastodon) . En réponse à la dépêche La voiture allergique à la glace à la vanille, et autres bugs. Évalué à 3.
Il y a des outils d'analyse statique. Quelques uns en vrac (pas tous libres): clang-tidy, cppcheck, clint, coverity, codesonar, pvs studio, ...
L'idée est d'analyser le code lors de la compilation et de détecter ce genre de problèmes.
On peut aussi activer certaines protection à l'exécution dans les compilateurs modernes: ubsan (détecte le code exploitant des comportements laissés indéfinis par les spécification du C ou du C++), asan (détecte les accès à de la mémoire non allouée ou déjà libérée). Ça a un coût en terme de performances. S'il y a ce genre de besoins il est peut-être pertinent de regarder si un autre langage offrant plus de garanties ne serait pas un meilleur choix