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.

Weitere Informationen

SAL 2.0 Anmerkungen für Windows-Treiber