SAL-aantekeningen gebruiken om C/C++ codefouten te verminderen

SAL is de broncode-annotatietaal van Microsoft. Met behulp van broncodeaantekeningen kunt u de intentie achter uw code expliciet maken. Deze aantekeningen maken ook geautomatiseerde hulpprogramma's voor statische analyse mogelijk om uw code nauwkeuriger te analyseren, met aanzienlijk minder fout-positieven en fout-negatieven.

In de artikelen in deze sectie van de documentatie worden aspecten van SAL besproken, wordt verwezen naar salsyntaxis en worden voorbeelden van het gebruik ervan weergegeven.

• Informatie over SAL

  Bevat informatie en voorbeelden die de kernaantekeningen van SAL weergeven.

• Aantekeningen toevoegen aan functieparameters en retourwaarden

  Geeft een overzicht van de SAL-aantekeningen voor functies en functieparameters.

• Aantekeningen toevoegen aan functiegedrag

  Geeft een overzicht van de SAL-aantekeningen voor functies en functiegedrag.

• Aantekeningen toevoegen aan Structs en klassen

  Geeft een overzicht van de SAL-aantekeningen voor structuren en klassen.

• Het annoteren van vergrendelingsgedrag

  Hierin wordt uitgelegd hoe u SAL-aantekeningen gebruikt met vergrendelingsmechanismen.

• opgeven wanneer en waar een aantekening van toepassing is

  Toont de SAL-aantekeningen die de voorwaarde of het bereik (toepassing) van andere SAL-aantekeningen opgeven.

• Intrinsieke functies

  Geeft een overzicht van de intrinsieke SAL-aantekeningen.

• Aanbevolen procedures en voorbeelden

  Biedt voorbeelden die laten zien hoe u SAL-aantekeningen gebruikt. Ook worden veelvoorkomende valkuilen uitgelegd.

Zie ook

SAL 2.0-aantekeningen voor Windows-stuurprogramma's