Statikus illesztőprogram-ellenőrző bemeneti fájljai

Az SDV-ellenőrző motor az alábbi fájlokat használja az ellenőrzés bemeneteként. Minden ellenőrzéshez csak az illesztőprogram forrásfájljaira és az operációsrendszer-modell fájljaira van szükség.

• Illesztőprogram-projektfájl és forráskód. Futtassa az SDV-t abban a könyvtárban, amelyben a projektfájl található.

• Operációsrendszer-modell fájljai. Az SDV kiválasztja és összeállítja az operációsrendszer-modell fájljait az ellenőrzéshez kiválasztott szabályok alapján.

• Feldolgozott kódtárfájlok. A kódtárfájlokra csak akkor van szükség, ha az illesztőprogram nem rendszerkódtáraktól függ. További információ és utasítások: Könyvtárfeldolgozás a statikus illesztőprogram-ellenőrzőben.

• Szabálylistafájl. Lásd Static Driver Verifier parancsok (MSBuild).

• Statikus illesztőprogram-ellenőrző beállításainak fájlja. Az SDV létrehoz egy globális beállításfájlt, amely az összes SDV-ellenőrzésre vonatkozó beállításokat tartalmazza. Ha helyi beállításfájlt szeretne létrehozni egy illesztőprogramhoz, másolja ki a globális beállításfájlt. Ezután szerkesztheti a globális beállításfájl másolatát, hogy létrehozhasson egy helyi beállításfájlt az illesztőprogram számára.

Az SDV-ellenőrzés eredményeinek kiértékelésekor nagyon fontos megvizsgálni a bemeneti fájlokat, hogy meggyőződjön az ellenőrzés során használt összes bemeneti fájl pontosságáról és teljességéről.

Ez a szakasz a következő fájlok részletes leírását tartalmazza:

Statikus illesztőprogram-ellenőrző szabálylistafájlja

Statikus illesztőprogram-ellenőrző beállításainak fájlja