SDV 选项文件包含 SDV 设置。 你可以更改其中的一些设置。 其他设置由 SDV 保留。
可以更改的选项文件中的字段包括：
SDV_SlamConfig_Maximum_Driver_Size
指定 SDV 将支持的驱动程序的最大大小（以代码行为单位）。 默认值为 100K 行代码。
SDV_SlamConfig_Timeout
限制 SDV 验证每个规则的时间。 此条目的值是表示秒数的整数。 最小值为 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 可以使用的虚拟内存量。 此条目的值是一个整数（以兆字节（MB）为单位。 最小值为 100，默认值为 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. 系统的最佳值约为 200 MB，小于系统上的物理内存量。
SDV_SlamConfig_NumberOfThreads
设置验证期间要使用的线程数。 如果值为 0，则会将线程数限制为计算机上的处理器数（这包括超线程处理器）。 如果该值设置为大于 0 的数字，则该值指定 SDV 在验证期间可以使用的线程数。 增加线程数可能会增加 SDV 的运行时性能，但也可能增加发生的超时次数。 默认值为 0。 如果在使用默认值的多处理器计算机上运行 SDV，SDV 将自动利用其他处理器。