Regola NdisAllocateMemoryWithTagPriority (ndis)
La regola NdisAllocateMemoryWithTagPriority specifica che un driver non deve chiamare NdisAllocateMemoryWithTagPriority senza specificare un tag.
Ogni allocazione di memoria deve usare un tag di pool univoco per garantire che i debugger del kernel e il driver verifier possano identificare un blocco di memoria allocato distinto.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola NdisAllocateMemoryWithTagPriority . 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
Commenti e suggerimenti
Presto disponibile: Nel corso del 2024 verranno gradualmente disattivati i problemi di GitHub come meccanismo di feedback per il contenuto e ciò verrà sostituito con un nuovo sistema di feedback. Per altre informazioni, vedere https://aka.ms/ContentUserFeedback.
Invia e visualizza il feedback per