Pole souboru s možnostmi

Soubor možností SDV obsahuje nastavení SDV. Některá z těchto nastavení můžete změnit. Další nastavení jsou vyhrazena pomocí SDV.

Pole v souboru možností, která můžete změnit, zahrnují následující:

SDV_SlamConfig_Maximum_Driver_Size
Určuje maximální velikost ovladače, který bude SDV podporovat (pokud jde o řádky kódu). Výchozí hodnota je 100 tisíc řádků kódu.

SDV_SlamConfig_Timeout
Omezuje dobu, po kterou může SDV strávit ověřením jednotlivých pravidel. Hodnota této položky je celé číslo, které představuje počet sekund. Minimální hodnota je 10, maximální hodnota je 86400 a výchozí hodnota je 3000 (50 minut).

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
Omezuje množství virtuální paměti, kterou může SDV využívat při ověřování jednotlivých pravidel. Hodnota této položky je celé číslo v jednotkách megabajtu (MB). Minimální hodnota je 100 a výchozí hodnota je 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. Optimální hodnota systému je přibližně 200 MB menší než velikost fyzické paměti v systému.

SDV_SlamConfig_NumberOfThreads
Nastaví počet vláken, která se mají použít při ověřování. Pokud je hodnota 0, omezí se počet vláken na počet procesorů v počítači (to zahrnuje procesory hyper-threaded). Pokud je hodnota nastavená na číslo větší než 0, určuje hodnota počet vláken, která může SDV použít během ověřování. Zvýšení počtu vláken může zvýšit výkon běhu SDV, ale může také zvýšit časový limit, ke kterému dochází. Výchozí hodnota je 0. Pokud používáte SDV v multiprocesorovém počítači, který používá výchozí hodnotu, SDV automaticky využije další procesory.