Regola IoBuildDeviceIoControlSetEvent (wdm)
La regola IoBuildDeviceIoControlSetEvent specifica che un driver che chiama IoBuildDeviceIoControlRequest non deve chiamare KeSetEvent se il driver fornisce un puntatore a un oggetto evento allocato dal chiamante e inizializzato. KeSetEvent non deve essere chiamato dal driver per questo IRP.
Modello di driver: WDM
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola IoBuildDeviceIoControlSetEvent . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |
Si applica a
IoBuildDeviceIoControlRequestKeClearEvent KeInitializeEvent KeSetEvent