Elaborazione di librerie nel verifier del driver statico
Molti driver dipendono da librerie di funzioni collegate in modo dinamico e statico. In genere, le librerie includono funzioni di elaborazione generali, ma in alcune situazioni includono funzionalità integrali per il driver.
Le librerie sono essenziali per determinare se il driver è conforme alle regole di interfaccia. Ad esempio, senza codice di libreria, potrebbe sembrare che un driver abbia perso una chiamata obbligatoria inclusa nella libreria. In alternativa, la libreria potrebbe includere una chiamata che il driver duplica, causando un errore di ripetizione, ad esempio il rilascio di un blocco due volte.
Per includere una libreria nella verifica di un driver, SDV deve prima elaborare la libreria per prepararla per l'uso nella verifica del driver.
SDV tenta di rilevare ed elaborare automaticamente tutte le librerie da cui dipende il driver, ma poiché non conosce il percorso di alcuni file di origine della libreria, non può elaborare automaticamente queste librerie e includerle nella verifica del driver. Per garantire che SDV fornisca l'analisi più accurata per il driver, è necessario aggiungere manualmente tutte le librerie a cui fa riferimento il driver nella cache della libreria SDV facendo clic sulla scheda Librerie e selezionando Aggiungi libreria per elaborare le librerie. Se si esegue nella riga di comando, è possibile aggiungere una libreria eseguendo sdv con il comando /lib nel progetto di libreria.
Dopo che SDV ha elaborato una libreria, mantiene i file di elaborazione per tale libreria e include automaticamente il codice della libreria nelle verifiche di tutti i driver che richiedono la libreria. Non è necessario rielaborare la libreria a meno che il codice della libreria non venga modificato. Per istruzioni sulla rielaborazione di una libreria, vedere Rielaborazione di una libreria.
Contenuto della sezione
Rielaborazione di una libreria
Commenti
SDV include file di libreria elaborati per le librerie di sistema. Non è necessario indirizzare SDV per elaborare queste librerie. Quando SDV rileva che un driver dipende da queste librerie, usa i file elaborati per queste librerie senza visualizzare un messaggio di avviso. Per informazioni sui requisiti della libreria, vedere Determinare se Static Driver Verifier supporta il driver o la libreria.