Megosztás:


Statikus illesztőprogram-ellenőrző diagnosztika

Az SDV diagnosztikai móddal rendelkezik, amely segíthet Önnek és a Microsoftnak az SDV által esetlegesen felmerülő problémák elhárításában. Ha engedélyezve van a diagnosztikai mód, az SDV naplózza az üzeneteket az illesztőprogram-projektben lévő fájlok sorozatára, az ellenőrzés fázisonként és szabályonként.

A diagnosztika engedélyezése

Az SDV diagnosztikai módja (más néven hibakeresési mód) jelenleg csak a parancssorból való futtatáskor engedélyezhető. A parancssorból való futtatásról további információt a Static Driver Verifier parancsok (MSBuild) című témakörben talál.

A diagnosztika aktiválásához adja hozzá a /debug jelzőt egy /check parancs után. Például:

msbuild /t:sdv /p:Inputs="/check:* /debug" mydriver.VcxProj /p:Configuration="Release" /p:Platform=x64

A diagnosztika engedélyezése jelentősen több kimenetet eredményez a parancsablakban, valamint adott naplófájlokat hoz létre.

A diagnosztika ismertetése

Az SDV a végrehajtás minden szakaszában több fájlt hoz létre, amelyek részletesen ismertetik ezt a lépést. Ha az SDV részben meghiúsul a végrehajtás során, a rendszer nem hoz létre diagnosztikai fájlokat a későbbi szakaszokhoz.

A létrehozott fájlok sorrendje a következő:

  • smvexecute-NormalBuild.log: Ez az illesztőprogram forráskönyvtárában található, és megjeleníti az SDV kezdeti kísérletének kimenetét, amely az illesztőprogramot további rendszerállapot és elemzés nélkül próbálja létrehozni.

  • smvexecute-InterceptedBuild.log: Ez az illesztőprogram forráskönyvtárában található, és megjeleníti az SDV kimenetét, amely bemutatja, hogyan épül az illesztőprogram az elemzési horgok integrálásával.

  • smvcl.log: Ez az SDV által az illesztőprogram-projektben létrehozott "sdv" könyvtárban található. Az InterceptedBuild lépés fordítói kimenetét jeleníti meg. Ha egy hiba jelenik meg a smvexecute-InterceptedBuild.log-ban, előfordulhat, hogy további részletekre aki lehet találni a smvcl.log-ban.

  • smvexecute-Scan.log: Ez az SDV által az illesztőprogram-projektben létrehozott "sdv" könyvtárban található. Megjeleníti az SDV azon kísérletének kimenetét, amely beolvassa az illesztőprogramot a belépési pontok megkereséséhez. A hiba azt jelezheti, hogy nem találhatók belépési pontok, és frissítenie kell a függvényszerepkör-típusokat vagy az sdv-map.h értéket. További információ: Függvényszerepkör-típusdeklarációk használata és az Sdv-map.h fájl jóváhagyása .

  • smvexecute-FinalCompile.log: Az sdv által ellenőrzött minden szabályhoz létrejön egy ilyen fájl, és megtalálható az illesztőprogram-projektben létrehozott "sdv\check[rule name]" almappában. Ez a fájl az SDV azon kísérletének kimenetét jeleníti meg, amely az illesztőprogramot az operációsrendszer-modellel és az adott szabvánnyal próbálja létrehozni.

  • smvexecute-CheckRule.log: Az sdv által ellenőrzött minden szabályhoz létrejön egy ilyen fájl, és megtalálható az illesztőprojektben létrehozott "sdv\check[rule name]" almappában. Ez a fájl az SDV azon kísérletének kimenetét jeleníti meg, amely a megadott szabályt próbálja ellenőrizni az Ön illesztőprogramján.

A parancs kimenetében keresse meg azt a fájlt, amely a szakaszlistában sikertelenként szerepel. Ha a hiba a FinalCompile vagy a CheckRule lépésekben történt, győződjön meg arról, hogy az adott szabály hibásként szerepel a mappában.