SDV オプション ファイルには、SDV 設定が含まれています。 これらの設定の一部を変更できます。 その他の設定は SDV によって予約されています。
変更できるオプション ファイルのフィールドは次のとおりです。
SDV_SlamConfig_Maximum_Driver_Size
SDV がサポートするドライバーの最大サイズを指定します (コード行の観点から)。 既定値は 100,000 行のコードです。
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 は追加のプロセッサを自動的に利用します。