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 Ihnen den größten Zeit- und Aufwand ersparen 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 viel effizienter als manuelle Überprüfungen. Diese Tools können Fehler erkennen, die in der Regel nicht in Standardtreibertests gefunden werden, und sie verkörpern die Expertise erfahrener Treiberentwickler und Windows-Treiberoberflächendesigner.

Verwenden Sie alle Tools, die auf Ihrem Treiber ausgeführt werden können, um optimale Ergebnisse zu erzielen. Wenn Sie eines dieser Tools auslassen, wird möglicherweise ein schwerwiegender Fehler in Ihrem Treiber übersehen.

Dieser Abschnitt beginnt mit einer kurzen Erläuterung der Merkmale von Codeüberprüfungstools und einer Übersicht über die Tools, die im WDK und in Windows enthalten oder von Microsoft verfügbar sind.

Dieser Abschnitt umfasst Folgendes:

Tools für die statische und dynamische Überprüfung

Codeanalyse für Treiber

Treiberüberprüfung

Static Driver Verifier

DDI-Complianceregeln

CodeQL und der Logotest der statischen Tools

Weitere Tools

Wenn Sie Zugriff auf andere Code- oder Treiberüberprüfungstools (aus anderen Quellen) haben, empfehlen wir Ihnen, diese zusätzlich zu den Tools im WDK zu verwenden. Stellen Sie sicher, dass Sie die Codeanalyse für Treiber, die statische Treiberüberprüfung und die Treiberüberprüfung aufgrund ihrer spezifischen Kenntnisse über Windows-Treiber verwenden, aber jedes Tool betrachtet den Code auf unterschiedliche Weise und kann Ihnen daher helfen, verschiedene Arten von Problemen zu finden und zu beheben.