Code Analysis for Drivers

  • Articolo

Analisi del codice per i driver è uno strumento di verifica statica in fase di compilazione che rileva gli errori di codifica di base nei programmi C e C++ e include un modulo specializzato progettato per rilevare gli errori nel codice driver in modalità kernel (principalmente).

Nota Nelle versioni precedenti del WDK, il modulo specifico del driver per l'analisi del codice fa parte di uno strumento autonomo denominato PREfast for Drivers (PFD). PrEfast for Drivers è stato integrato anche nell'ambiente di compilazione WDK, come parte di Microsoft Automated Code Review (OACR). A partire da Windows Driver Kit (WDK) 8, le funzionalità specifiche del driver sono state integrate con l'analisi della qualità dell'applicazione usando Gli strumenti di analisi del codice.

In questa sezione