Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
Un file di opzioni SDV contiene le impostazioni SDV. Alcune di queste impostazioni è possibile modificare. Altre impostazioni sono riservate da SDV.
I campi nel file di opzioni che è possibile modificare includono quanto segue:
SDV_SlamConfig_Maximum_Driver_Size
Specifica le dimensioni massime di un driver supportato da SDV (in termini di righe di codice). Il valore predefinito è 100.000 righe di codice.
SDV_SlamConfig_Timeout
Limita il tempo necessario per la verifica di ogni regola. Il valore di questa voce è un numero intero che rappresenta un numero di secondi. Il valore minimo è 10, il valore massimo è 86400 e il valore predefinito è 3000 (50 minuti).
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
Limita la quantità di memoria virtuale utilizzabile da SDV durante la verifica di ogni regola. Il valore di questa voce è un numero intero in unità megabyte (MB). Il valore minimo è 100 e il valore predefinito è 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. Il valore ottimale per un sistema è di circa 200 MB inferiore alla quantità di memoria fisica nel sistema.
SDV_SlamConfig_NumberOfThreads
Imposta il numero di thread da utilizzare durante una verifica. Se il valore è 0, questo limita il numero di thread al numero di processori nel computer (inclusi processori con hyperthreading). Se il valore è impostato su un numero maggiore di 0, il valore specifica il numero di thread che possono essere usati da SDV durante la verifica. L'aumento del numero di thread potrebbe aumentare le prestazioni di runtime di SDV, ma potrebbe anche aumentare il numero di timeout che si verificano. Il valore predefinito è 0. Se si esegue SDV in un computer multiprocessore che usa il valore predefinito, SDV sfrutta automaticamente i processori aggiuntivi.