Utilisation d’annotations SAL pour réduire les défauts du code C/C++Using SAL Annotations to Reduce C/C++ Code Defects

SAL est le langage d’annotation Microsoft source code.SAL is the Microsoft source code annotation language. À l’aide des annotations de code source, faire l’intention derrière votre code explicite.By using source code annotations, you can make the intent behind your code explicit. Ces annotations permettent également des outils d’automatisation de l’analyse statique analyser votre code de façon plus précise, avec beaucoup moins de faux positifs et de faux négatifs.These annotations also enable automated static analysis tools to analyze your code more accurately, with significantly fewer false positives and false negatives.

Les articles de cette section de la documentation décrivent les aspects de SAL fournissent de référence pour la syntaxe SAL et donnent des exemples de son utilisation.The articles in this section of the documentation discuss aspects of SAL, provide reference for SAL syntax, and give examples of its use.

Blog de l’équipe analyse du codeCode Analysis Team Blog

Voir aussiSee Also

SAL 2.0 Annotations pour les pilotes WindowsSAL 2.0 Annotations for Windows Drivers