Partager via


Utilisation d’annotations SAL pour réduire les défauts du code C/C++

SAL est le langage d’annotation du code source Microsoft. En utilisant des annotations de code source, vous pouvez rendre l’intention derrière votre code explicite. Ces annotations permettent également aux outils d’analyse statique automatisés d’analyser votre code de manière plus précise, avec beaucoup moins de faux positifs et de faux négatifs.

Les articles de cette section de la documentation traitent des aspects de SAL, fournissent des informations de référence sur la syntaxe SAL et donnent des exemples de son utilisation.

Voir aussi

Annotations SAL 2.0 pour les pilotes Windows