Einschränkungen der statischen Treiberüberprüfung

In diesem Abschnitt werden die allgemeinen Einschränkungen des SDV-Tools, einige technische Einschränkungen beschrieben, die verhindern, dass SDV Treibercode ordnungsgemäß interpretiert, und die Merkmale von Treibern, die SDV überprüfen kann.

Dieser Abschnitt umfasst Folgendes:

Ermitteln, ob der Static Driver Verifier Ihren Treiber oder Ihre Bibliothek unterstützt

Statische Treiberüberprüfung – Allgemeines Tool und technische Einschränkungen

Verwenden der _analysis_assume-Funktion zum Unterdrücken falscher Fehler

Verwenden von __sdv_save_request und __sdv_retrieve_request für Verzögerte Prozeduraufrufe

Verwenden von __sdv_save_adapter_context zum Nachverfolgen von Adapterkontextfeldern