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 wesentlich weniger falsch positive Ergebnisse und falschen Negativen genauer zu analysieren.
Die Artikel in diesem Abschnitt der Dokumentation erläutert Aspekte des SALZES, setzen Verweis für SALZsyntax fest und rufen Beispiele ihrer Verwendung.
-
Stellt Informationen und Beispiele, die die Kern SAL-Anmerkungen anzeigen.
Hinzufügen einer Anmerkung zu Funktionsparametern und Rückgabewerten
Führt die SAL-Anmerkungen für Funktionen und Funktionsparameter 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 SAL-Anmerkungen mit Sperrenmechanismen verwendet.
Angeben, wann und wo eine Anmerkung gültig ist
Führt die SAL-Anmerkungen auf, die die 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 zeigen, wie SAL-Anmerkungen verwendet.Erläutert auch allgemeine Fehler.