Поля файла параметров

Файл параметров SDV содержит параметры SDV. Некоторые из этих параметров можно изменить. Другие параметры зарезервированы SDV.

Поля в файле параметров, которые можно изменить, включают следующие:

SDV_SlamConfig_Maximum_Driver_Size
Указывает максимальный размер драйвера, который будет поддерживать SDV (с точки зрения строк кода). Значение по умолчанию — 100K строк кода.

SDV_SlamConfig_Timeout
Ограничивает время, затрачивается на проверку каждого правила. Значение этой записи — целое число, представляющее количество секунд. Минимальное значение равно 10, максимальное значение — 86400, а значение по умолчанию — 3000 (50 минут).

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
Ограничивает объем виртуальной памяти, которую SDV может использовать при проверке каждого правила. Значение этой записи — целое число в единицах мегабайта (МБ). Минимальное значение равно 100, а значение по умолчанию — 2500 МБ (2,5 ГБ).)

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. Оптимальное значение для системы составляет примерно 200 МБ меньше объема физической памяти в системе.

SDV_SlamConfig_NumberOfThreads
Задает количество потоков, используемых во время проверки. Если значение равно 0, это ограничивает количество потоков числом процессоров на компьютере (это включает гиперпотоковые процессоры). Если для значения задано число больше 0, это значение указывает количество потоков, которые SDV может использовать во время проверки. Увеличение числа потоков может увеличить производительность времени выполнения SDV, но может также увеличить время ожидания. Значение по умолчанию — 0. Если вы используете SDV на компьютере с несколькими обработчиками, использующим значение по умолчанию, SDV будет автоматически использовать дополнительные процессоры.