Tools zum Überprüfen von Treibern
Das Windows Driver Kit (WDK) enthält mehrere sehr umfassende Tools, mit denen Sie Fehler im Treibercode während des Entwicklungsprozesses erkennen und korrigieren können. Viele dieser Tools können sehr früh im Entwicklungsprozess verwendet werden, wo sie am kritischsten sind und Sie die meiste Zeit und Mühe sparen können.
Diese Überprüfungstools werden in der WDK-Dokumentation beschrieben und für Ihre Verwendung empfohlen, da jedes Tool verschiedene Arten von Treiberfehlern auf unterschiedliche Weise erkennt. Diese Tools sind wesentlich effizienter als manuelle Prüfungen. Diese Tools können Fehler erkennen, die in der Regel nicht in Standardtreibertests gefunden werden, und sie verkörpern die Expertise von erfahrenen Treiberentwicklern und Windows-Treiberoberflächendesignern.
Um optimale Ergebnisse zu erzielen, verwenden Sie alle Tools, die auf Ihrem Treiber ausgeführt werden können. Wenn Sie eines dieser Tools weglassen, verpassen Sie möglicherweise einen schwerwiegenden Fehler in Ihrem Treiber.
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.
Dieser Abschnitt beginnt mit einer kurzen Erläuterung der Merkmale von Codeüberprüfungstools und einer Umfrage der Tools, die im WDK und in Windows enthalten sind oder von Microsoft verfügbar sind.
Dieser Abschnitt umfasst:
Statische und dynamische Überprüfungstools
CodeQL und der Logo-Test für statische Tools
Weitere Tools
Wenn Sie Zugriff auf andere Code- oder Treiberüberprüfungstools haben (aus anderen Quellen), empfehlen wir Ihnen, diese zusätzlich zu den Tools im WDK zu verwenden. Achten Sie darauf, tools wie Driver Verifier und kernel address sanitizer aufgrund ihrer spezifischen Kenntnisse von Windows-Treibern zu verwenden, aber jedes Tool betrachtet den Code auf unterschiedliche Weise und kann Ihnen daher helfen, verschiedene Arten von Problemen zu finden und zu beheben.