Zpracování knihoven v nástroji Static Driver Verifier

Mnoho ovladačů závisí na dynamicky a staticky propojených knihovnách funkcí. Knihovny obvykle zahrnují obecné funkce zpracování, ale v některých situacích zahrnují funkce, které jsou integrální pro ovladač.

Knihovny jsou nezbytné pro určení, zda ovladač splňuje pravidla rozhraní. Například bez kódu knihovny se může zdát, že ovladači chybí nezbytné volání funkcí, které je součástí knihovny. Nebo může knihovna obsahovat volání, které ovladač duplikuje, což způsobuje opakující se chybu, například uvolnění zámku dvakrát.

Pokud chcete do ověřování ovladače zahrnout knihovnu, musí SDV nejprve zpracovat knihovnu a připravit ji na použití při ověřování ovladače.

SDV se pokusí automaticky rozpoznat a zpracovat všechny knihovny, na kterých ovladač závisí, ale protože nezná umístění některých zdrojových souborů knihovny, nemůže tyto knihovny automaticky zpracovat a zahrnout je do ověření ovladače. Pokud chcete zajistit, aby SDV poskytovala nejpřesnější analýzu ovladače, měli byste ručně přidat všechny knihovny, na které ovladač odkazuje, do mezipaměti knihovny SDV kliknutím na kartu Knihovny a výběrem možnosti Přidat knihovnu zpracovat knihovny. Pokud používáte příkazový řádek, můžete knihovnu přidat spuštěním příkazu sdv s příkazem /lib pro projekt knihovny.

Jakmile SDV zpracuje knihovnu, zachovají si její soubory zpracování pro danou knihovnu a automaticky zahrnou kód knihovny při ověřování všech ovladačů, které vyžadují knihovnu. Pokud kód knihovny nezměníte, nemusíte knihovnu znovu zpracovat. Pokyny k opětovnému zpracování knihovny najdete v tématu Opětovné zpracování knihovny.

Tato část obsahuje:

Zpracování knihovny

Opětovné zpracování knihovny

komentáře k

SDV obsahuje zpracované soubory knihovny pro systémové knihovny. Ke zpracování těchto knihoven nemusíte směrovat SDV. Když SDV zjistí, že ovladač závisí na těchto knihovnách, použije pro tyto knihovny své zpracované soubory bez zobrazení upozornění. Informace o požadavcích na knihovnu naleznete v tématu Určení, zda nástroj Pro ověření statického ovladače podporuje váš ovladač nebo knihovnu.