Vstupní soubory pro Static Driver Verifier

Ověřovací modul SDV přebírá jako vstup k ověření následující soubory. Pro všechna ověření jsou vyžadovány pouze zdrojové soubory ovladačů a soubory modelu operačního systému.

• Soubor projektu ovladače a zdrojový kód Spusťte SDV v adresáři, kde se nachází soubor projektu.

• Soubory modelu operačního systému. SDV vybere a sestaví soubory modelu operačního systému na základě pravidel, která vyberete pro ověření.

• Zpracované soubory knihovny. Soubory knihovny jsou vyžadovány pouze v případě, že ovladač závisí na nesystémových knihovnách. Informace a pokyny naleznete v tématu Zpracování knihovny ve statickém ovladači Verifier.

• Soubor seznamu pravidel. Podívejte se na příkazy nástroje Static Driver Verifier (MSBuild).

• Soubor možností ověření statického ovladače SDV vytvoří soubor globálních možností, který obsahuje nastavení, která platí pro všechna ověření SDV. Pokud chcete vytvořit místní soubor možností pro ovladač, zkopírujte soubor globálních možností. Potom můžete upravit kopii souboru globálních možností a vytvořit pro ovladač místní soubor možností.

Při vyhodnocování výsledků ověření SDV je velmi důležité prozkoumat vstupní soubory, abyste ověřili přesnost a úplnost všech vstupních souborů použitých při ověřování.

Tato část obsahuje podrobné popisy následujících souborů:

Soubor seznamu pravidel pro ověření statického ovladače

Soubor možností ověření statického ovladače