Verwenden von SAL-Anmerkungen zum Reduzieren von C/C++-Codefehlern
SAL ist die Microsoft-Quellcodeanmerkungssprache.Indem Sie Quellcodeanmerkungen verwenden, können Sie die Absicht hinter dem Code explizit machen.Diese Anmerkungen können auch automatisierte Tools der statischen Analyse, um den Code, mit erheblich weniger falschen Positiven und False Negativen genauer zu analysieren.
Die Artikel in diesem Abschnitt der Dokumentation werden Aspekte des SALZES, unterstellen Verweis für SALZsyntax fest und nennen Beispiele der Verwendung.
-
Enthält Informationen und Beispiele, die die SAL-Anmerkungen Kern anzeigen.
Hinzufügen einer Anmerkung zu Funktionsparametern und Rückgabewerten
Führt die SAL-Anmerkungen für Funktionsparameter und Funktionen auf.
Hinzufügen einer Anmerkung zum Funktionsverhalten
Führt die SAL-Anmerkungen für Funktionen und Funktionsverhalten auf.
Hinzufügen einer Anmerkung zu Strukturen und Klassen
Führt die SAL-Anmerkungen für Strukturen und Klassen auf.
Hinzufügen einer Anmerkung zum Sperrverhalten
Erläutert, wie mit Sperrenmechanismen SAL-Anmerkungen verwendet.
Angeben, wann und wo eine Anmerkung gültig ist
Führt die SAL-Anmerkungen auf, die der Zustand oder den Bereich (Platzierung) anderer SAL-Anmerkungen angeben.
-
Führt die systeminternen SAL-Anmerkungen auf.
Empfohlene Vorgehensweisen und Beispiele (SAL)
Enthält Beispiele, die anzeigen, wie SAL-Anmerkungen verwendet.Erläutert auch allgemeine Fehler.