Elaborazione di una libreria
Prima di eseguire una verifica, elaborare le librerie richieste dal driver.
Per elaborare una libreria
- Avviare Static Driver Verifier( Verifica driver statico). Dal menu Driver in Visual Studio fare clic su Avvia verifica driver statico....
- Fare clic sulla scheda Librerie e quindi su Aggiungi libreria per aggiungere la libreria.
- Passare alla directory in cui è archiviato il file di progetto per la libreria.
- 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 libraryproject.vcxproj msbuild t:/sdv p:"/Inputs=/lib". 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.