Analysieren eines Treibers mithilfe von Codeanalyse- und Überprüfungstools

  • Artikel

Codeanalyse- und Überprüfungstools können dazu beitragen, die Stabilität und Zuverlässigkeit Ihres Treibers zu verbessern, indem sie den Quellcode systematisch analysieren. Die Codeanalyse- und Überprüfungstools können Fehler erkennen, die vom Compiler und bei herkömmlichen Laufzeittests übersehen werden. Außerdem können sie ermitteln, ob der Treiber ordnungsgemäß mit dem Windows-Betriebssystemkernkern interagiert. Mit Microsoft Visual Studio und dem Windows Driver Kit (WDK) können Sie die Codeanalyse- und Überprüfungstools so konfigurieren, dass sie als Teil des Buildprozesses ausgeführt werden, oder Sie können die Tools für die Analyse Ihres Treibers zu einem festgelegten Zeitpunkt planen.

C/C++-Codeanalysetool für Windows-Treiber

Die Windows 8 Version des WDK bietet Verbesserungen für das in Visual Studio enthaltene C/C++-Codeanalysetool. Insbesondere stellt der WDK ein spezielles Treibermodul bereit, das für die Erkennung von Fehlern im Kernelmodustreibercode konzipiert ist. Dieses Treibermodul ist in das C/C++-Codeanalysetool integriert.

Verwendung: Sie können das C/C++-Codeanalysetool für Treiber sehr früh im Entwicklungszyklus ausführen, sobald der Code ordnungsgemäß kompiliert wird.

Informationen zum Codeanalysetool in Visual Studio finden Sie unter:

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.

Statische Treiberüberprüfung

Der Static Driver Verifier (Statisches Treiber-Prüfmodul, SDV) ist ein statisches Überprüfungstool, das systematisch den Quellcode von Windows-Kernelmodustreibern analysiert. SDV ermittelt, ob der Treiber ordnungsgemäß mit dem Windows-Betriebssystemkernel interagiert. SDV kann über das Menü Treiber in Visual Studio oder über das Visual Studio-Eingabeaufforderungsfenster gestartet werden.

Verwendung: Führen Sie statische Treiberüberprüfung frühzeitig im Entwicklungszyklus für Treiber aus, die ordnungsgemäß kompiliert werden. Führen Sie statische Treiberüberprüfung aus, bevor Sie mit dem Testzyklus beginnen.

Informationen zur Statischen Treiberüberprüfung finden Sie unter: