Codeanalyse für Treiber
Die Codeanalyse für Treiber ist ein Statisches Überprüfungstool zur Kompilierungszeit, das grundlegende Codierungsfehler in C- und C++-Programmen erkennt und ein spezielles Modul enthält, das darauf ausgelegt ist, Fehler im (hauptsächlich) Kernelmodustreibercode zu erkennen.
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 for Drivers wurde auch in die WDK Build-Umgebung integriert, als Teil der Microsoft Automated Code Review (OACR). Ab Windows Driver Kit (WDK) 8 wurden die treiberspezifischen Features in die Analyse der Anwendungsqualität mithilfe von Codeanalysetools integriert.
Wichtig
Das Windows-Hardwarekompatibilitätsprogramm erfordert CodeQL für statische Tool-Logo-Tests (STL) auf unseren Client- und Server-Betriebssystemen. Wir werden die Unterstützung für SDV und CA auf älteren Produkten weiterhin aufrechterhalten. Den Partnern wird dringend empfohlen, die CodeQL-Anforderungen für den Static Tool Logo Test zu prüfen. Weitere Informationen zur Verwendung von CodeQL finden Sie unter CodeQL und dem Logotest für statische Tools.
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
Wichtig
Codeanalyse für Treiber ist in Windows 24H2 WDK und EWDK verfügbar, aber es wird empfohlen, dass sie zu einem zukünftigen Datum eingestellt wird.
In Zukunft wird CodeQL das primäre statische Analysetool für Treiber sein. CodeQL stellt eine leistungsstarke Abfragesprache bereit, die Code als abgefragte Datenbank behandelt, sodass Abfragen für bestimmte Verhaltensweisen, Muster und vieles mehr einfach geschrieben werden können.
Weitere Informationen zur Verwendung von CodeQL finden Sie unter CodeQL und dem Logotest für statische Tools.