Opciófájl mezők

Az SDV-beállítások fájl tartalmazza az SDV-beállításokat. Ezen beállítások némelyike módosítható. A többi beállítást az SDV fenntartja.

A módosítható beállításfájl mezői a következők:

SDV_SlamConfig_Maximum_Driver_Size
Meghatározza az SDV által támogatott illesztőprogram maximális méretét (a kódsorokat tekintve). Az alapértelmezett érték 100 ezer sornyi kód.

SDV_SlamConfig_Timeout
Korlátozza az SDV által az egyes szabályok ellenőrzésére fordítható időt. Ennek a bejegyzésnek az értéke egy egész szám, amely több másodpercet jelöl. A minimális érték 10, a maximális érték 86400, az alapértelmezett érték pedig 3000 (50 perc).

If SDV exceeds the per-rule time limit while verifying a rule, it terminates the verification and reports a Timeout in the command-line output and in Static Driver Verifier under the Results section on the Main tab.

SDV_SlamConfig_Spaceout
Korlátozza az SDV által az egyes szabályok ellenőrzésekor használható virtuális memória mennyiségét. Ennek a bejegyzésnek az értéke megabájtos (MB) egységekben lévő egész szám. A minimális érték 100, az alapértelmezett érték pedig 2500 MB (2,5 GB.)

If SDV exceeds the virtual memory limit while verifying a rule, it terminates the verification and reports a Spaceout in the command-line output and in Static Driver Verifier under the Results section on the Main tab.

If SDV reports a Spaceout, consider increasing the value of SDV_SlamConfig_Spaceout, stopping all other processes on the computer while SDV is running, or moving SDV to a computer with more memory. A rendszer optimális értéke körülbelül 200 MB-kal kisebb, mint a rendszer fizikai memóriájának mennyisége.

SDV_SlamConfig_NumberOfThreads
Beállítja az ellenőrzés során használni kívánt szálak számát. Ha az érték 0, akkor a szálak számát a számítógépen lévő processzorok számára korlátozza (ez a hyper-threaded processzorokat is magában foglalja). Ha az érték 0-nál nagyobb számra van állítva, az érték megadja, hogy az SDV hány szálat használhat az ellenőrzés során. A szálak számának növelése növelheti az SDV futásidejének teljesítményét, de növelheti az időkorlátok számát is. Az alapértelmezett érték 0. Ha az alapértelmezett értéket használó többprocesszoros számítógépen futtat SDV-t, az SDV automatikusan kihasználja a további processzorok előnyeit.