Codeanalyse für Treiber

Die Codeanalyse für Treiber ist ein statisches Überprüfungstool zur Kompilierzeit, das grundlegende Codierungsfehler in C- und C++-Programmen erkennt und ein spezielles Modul enthält, das zum Erkennen von Fehlern in (hauptsächlich) Kernelmodustreibercode entwickelt wurde.

Hinweis In früheren Versionen des WDK war das treiberspezifische Modul für die Codeanalyse Teil eines eigenständigen Tools namens PREfast for Drivers (PFD). PREfast für Treiber wurde im Rahmen von Microsoft Automated Code Review (OACR) auch in die WDK-Buildumgebung integriert. Ab Windows Driver Kit (WDK) 8 wurden die treiberspezifischen Features in die Analyse der Anwendungsqualität mithilfe von Codeanalysetools integriert.

In diesem Abschnitt

• Übersicht über die Codeanalyse für Treiber
• Ausführen der Codeanalyse für Treiber
• SAL 2-Anmerkungen für Windows-Treiber
• Codeanalyse für Treiberwarnungen