Elaborazione di una libreria

Prima di eseguire una verifica, elaborare le librerie richieste dal driver.

Per elaborare una libreria

1. Avviare Static Driver Verifier.Start Static Driver Verifier. Dal menu Driver in Visual Studio fare clic su Avvia verifica driver statico....
2. Fare clic sulla scheda Librerie e fare clic su Aggiungi libreria per aggiungere la libreria.
3. Passare alla directory in cui è archiviato il file di progetto per la libreria.
4. Ripetere questi passaggi per ogni libreria usata dal driver.

Static Driver Verifier mantiene una cache delle librerie aggiunte. Solo le librerie richieste dal driver e presenti nella cache verranno usate per la verifica. Le librerie vengono elaborate con le stesse impostazioni di configurazione e piattaforma usate dal driver.

È anche possibile elaborare librerie da una finestra del prompt dei comandi di Visual Studio usando l'opzione msbuild t:/sdv p:"/Inputs=/lib"libraryproject.vcxproj . Per informazioni sulle opzioni di comando, vedere Comandi di verifica driver statici (MSBuild).For information about the command options, see Static Driver Verifier commands (MSBuild).

Se non è possibile elaborare una libreria necessaria per qualsiasi motivo, è comunque possibile verificare il driver che lo usa. Tuttavia, i risultati sono meno affidabili.