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.

• Présentation de SAL

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

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

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

• Annotation du comportement d’une fonction

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

• Annotations des structs et des classes

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

• Annotation du comportement de verrouillage

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

• Spécification du moment et de l’endroit où une annotation s’applique

  Répertorie les annotations SAL qui spécifient la condition ou l’étendue (placement) d’autres annotations SAL.

• Fonctions intrinsèques

  Répertorie les annotations SAL intrinsèques.

• Bonnes pratiques et exemples

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

Voir aussi

Annotations SAL 2.0 pour les pilotes Windows