Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern

SAL ist die Microsoft-Quellcodeanmerkungssprache. Mithilfe von Quellcodeanmerkungen können Sie die Absicht hinter Ihrem Code explizit festlegen. Diese Anmerkungen ermöglichen auch automatisierte statische Analysetools, um Ihren Code genauer zu analysieren, mit deutlich weniger falsch positiven ergebnissen und falsch negativen.

Die Artikel in diesem Abschnitt der Dokumentation befassen sich mit Aspekten von SAL, stellen Referenz zur SAL-Syntax bereit und geben Beispiele für ihre Verwendung.

• Einführung in SAL

  Enthält Informationen und Beispiele, die die wichtigsten SAL-Anmerkungen zeigen.

• Hinzufügen einer Anmerkung zu Funktionsparametern und Rückgabewerten

  Listet die SAL-Anmerkungen für Funktionen und Funktionsparameter auf.

• Hinzufügen einer Anmerkung zum Funktionsverhalten

  Listet die SAL-Anmerkungen für Funktionen und Funktionsverhalten auf.

• Hinzufügen einer Anmerkung zu Strukturen und Klassen

  Listet die SAL-Anmerkungen für Strukturen und Klassen auf.

• Hinzufügen einer Anmerkung zum Sperrverhalten

  Erläutert, wie SAL-Anmerkungen mit Sperrmechanismen verwendet werden.

• Angeben, wann und wo eine Anmerkung gültig ist

  Listet die SAL-Anmerkungen auf, die die Bedingung oder den Bereich (Platzierung) anderer SAL-Anmerkungen angeben.

• Systeminterne Funktionen

  Listet die systeminternen SAL-Anmerkungen auf.

• Empfohlene Vorgehensweisen und Beispiele

  Enthält Beispiele, die zeigen, wie SAL-Anmerkungen verwendet werden. Erläutert auch häufige Fallstricke.

Weitere Informationen

SAL 2.0 Anmerkungen für Windows-Treiber