StorPortAllocatePool-Regel (storport)

Diese Regel überprüft, ob der Miniport nicht versuchen darf, StorPortFreePool für einen Deallocated-Puffer aufzurufen.

Treibermodell: Storport

So führen Sie einen Test durch

Zur Kompilierungszeit

Führen Sie static Driver Verifier aus, und geben Sie die StorPortAllocatePool-Regel an. Führen Sie die folgenden Schritte aus, um eine Analyse des Codes auszuführen: Bereiten Sie Ihren Code vor (verwenden Sie Rollentypdeklarationen). Führen Sie statische Treiberüberprüfung aus. Anzeigen und Analysieren der Ergebnisse. Weitere Informationen finden Sie unter Using Static Driver Verifier to Find Defects in Drivers.

Gilt für:

StorPortAllocatePoolStorPortFreePool