Campi del file di opzione

  • Articolo

Un file di opzioni SDV contiene le impostazioni SDV. Alcune di queste impostazioni possono essere modificate. 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 che sdV supporterà (in termini di righe di codice). Il valore predefinito è 100.000 righe di codice.

SDV_SlamConfig_Timeout
Limita il tempo trascorso da SDV per verificare 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).

Se SDV supera il limite di tempo per regola durante la verifica di una regola, termina la verifica e segnala un timeoutnell'output della riga di comando e in Static Driver Verifier nella sezione Risultati della scheda Principale .

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).

Se SDV supera il limite di memoria virtuale durante la verifica di una regola, termina la verifica e segnala uno Spazio nell'output della riga di comando e in Static Driver Verifier nella sezione Risultati della scheda Principale .

Se SDV segnala uno Spaceout, è consigliabile aumentare il valore di SDV_SlamConfig_Spaceout, arrestare tutti gli altri processi nel computer mentre SDV è in esecuzione o spostare SDV in un computer con più memoria. 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 usare durante una verifica. Se il valore è 0, questo limita il numero di thread al numero di processori nel computer (inclusi i 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.