Pola pliku opcji

Plik opcji SDV zawiera ustawienia SDV. Niektóre z tych ustawień można zmienić. Inne ustawienia są zarezerwowane przez sdV.

Pola w pliku opcji, które można zmienić, obejmują następujące elementy:

SDV_SlamConfig_Maximum_Driver_Size
Określa maksymalny rozmiar sterownika, który sdV będzie obsługiwać (pod względem wierszy kodu). Wartość domyślna to 100 000 wierszy kodu.

SDV_SlamConfig_Timeout
Ogranicza czas, przez jaki sdV może spędzać na weryfikowaniu każdej reguły. Wartość tego wpisu jest liczbą całkowitą reprezentującą liczbę sekund. Wartość minimalna to 10, wartość maksymalna to 86400, a wartość domyślna to 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
Ogranicza ilość pamięci wirtualnej, która może być zużywana przez zestaw SDV podczas weryfikowania każdej reguły. Wartość tego wpisu jest liczbą całkowitą w megabajtach (MB). Wartość minimalna to 100, a wartość domyślna to 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. Optymalna wartość systemu wynosi około 200 MB mniej niż ilość pamięci fizycznej w systemie.

SDV_SlamConfig_NumberOfThreads
Ustawia liczbę wątków do użycia podczas weryfikacji. Jeśli wartość wynosi 0, ogranicza to liczbę wątków do liczby procesorów na komputerze (obejmuje to procesory hiperwątkowe). Jeśli wartość jest ustawiona na liczbę większą niż 0, wartość określa liczbę wątków, których sdV może używać podczas weryfikacji. Zwiększenie liczby wątków może zwiększyć wydajność sdV w czasie wykonywania, ale może również zwiększyć liczbę przekroczenia limitu czasu. Wartość domyślna to 0. Jeśli używasz sdV na komputerze wieloprocesorowym, który używa wartości domyślnej, sdV automatycznie skorzysta z dodatkowych procesorów.