Code Analysis for Drivers

Code Analysis for Drivers è 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 del driver (principalmente) in modalità kernel.

Nota Nelle versioni precedenti di WDK, il modulo specifico del driver per l'analisi del codice era 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 Code Analysis strumenti.

In questa sezione