Condividi tramite

Regola StorPortBuildIo (storport)

  • Articolo

Questa regola verifica che se la routine StorPort Del miniport StorPortBuildIo restituisce FALSE, la funzione SRB in questione non viene passata a StartIo. In questi casi, il driver miniport deve completare l'SRB chiamando StorPortNotification con un tipo di notifica RequestComplete da StorPortBuildIo o da un altro posto.

Nota

Questa regola sta testando l'operazione corretta di StorPort, non il miniport.

Modello di driver: Storport

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola StorPortBuildIo .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.