Campos de ficheiro de opções

Um arquivo de opções de SDV contém as configurações de SDV. Algumas dessas configurações você pode alterar. Outras configurações são reservadas pelo SDV.

Os campos no arquivo de opções que você pode alterar incluem o seguinte:

SDV_SlamConfig_Maximum_Driver_Size
Especifica o tamanho máximo de um driver que o SDV suportará (em termos de linhas de código). O valor padrão é 100K linhas de código.

SDV_SlamConfig_Timeout
Limita o tempo que o SDV pode gastar verificando cada regra. O valor desta entrada é um número inteiro que representa um número de segundos. O valor mínimo é 10, o valor máximo é 86400 e o valor padrão é 3000 (50 minutos).

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 a quantidade de memória virtual que o SDV pode consumir ao verificar cada regra. O valor desta entrada é um inteiro em unidades de megabyte (MB). O valor mínimo é 100 e o valor padrão é 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. O valor ideal para um sistema é aproximadamente 200 MB menor do que a quantidade de memória física no sistema.

SDV_SlamConfig_NumberOfThreads
Define o número de threads a serem usados durante uma verificação. Se o valor for 0, isso limita o número de threads ao número de processadores no computador (isso inclui processadores hyper-threaded). Se o valor for definido como um número maior que 0, o valor especifica o número de threads que o SDV pode usar durante a verificação. Aumentar o número de threads pode aumentar o desempenho do tempo de execução do SDV, mas também pode aumentar o número de tempos limite que ocorrem. O valor padrão é 0. Se você estiver executando o SDV em um computador multiprocessador que usa o valor padrão, o SDV aproveitará automaticamente os processadores adicionais.