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

SAL Le 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 plus précisément, avec considérablement moins faux positifs et faux négatifs.

Les éléments de cette section de la documentation expliquent les aspects SAL, fournissent la référence pour la syntaxe SAL, et fournissent des exemples de son utilisation.

• Présentation de SAL

  Fournit des informations et des exemples qui illustrent les principales annotations SAL.

• Annotation de paramètres de fonction et valeurs de retour

  Répertorie les annotations SAL des fonctions et des paramètres de fonction.

• Annotation du comportement d'une fonction

  Répertorie les annotations SAL des fonctions et des comportement des fonctions.

• Structs et classes d'annotation

  Répertorie les annotations SAL des structures et des classes.

• Annotation du comportement de verrouillage

  Explique comment utiliser des annotations SAL avec les mécanismes de verrouillage.

• Spécification du moment où une annotation est applicable et dans quel cas

  Répertorie les annotations SAL qui spécifient l'état ou la portée (jeu) d'autres annotations SAL.

• Fonctions intrinsèques

  Répertorie les annotations SAL intrinsèques.

• Meilleures pratiques et exemples (SAL)

  Fournit des exemples montrant comment utiliser des annotations SAL.Explique également les pièges courants.

Ressources connexes

Le blog de l'équipe danalyse du code

Voir aussi

Autres ressources

SAL 2.0 Annotations pour les drivers Windows