Campos de archivos de opciones

Un archivo de opciones de SDV contiene la configuración de SDV. Algunas de estas opciones de configuración se pueden cambiar. Otros valores están reservados por SDV.

Los campos del archivo de opciones que puede cambiar incluyen lo siguiente:

SDV_SlamConfig_Maximum_Driver_Size
Especifica el tamaño máximo de un controlador que SDV admitirá (en términos de líneas de código). El valor predeterminado es 100 000 líneas de código.

SDV_SlamConfig_Timeout
Limita el tiempo que el SDV puede dedicar a comprobar cada regla. El valor de esta entrada es un entero que representa un número de segundos. El valor mínimo es 10, el valor máximo es 86400 y el valor predeterminado es 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 la cantidad de memoria virtual que puede consumir SDV al comprobar cada regla. El valor de esta entrada es un entero en unidades megabyte (MB). El valor mínimo es 100 y el valor predeterminado es 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. El valor óptimo para un sistema es aproximadamente de 200 MB menos que la cantidad de memoria física en el sistema.

SDV_SlamConfig_NumberOfThreads
Establece el número de subprocesos que se usarán durante una comprobación. Si el valor es 0, esto limita el número de subprocesos al número de procesadores del equipo (esto incluye procesadores hiperprocesos). Si el valor se establece en un número mayor que 0, el valor especifica el número de subprocesos que sdV puede usar durante la comprobación. Aumentar el número de subprocesos podría aumentar el rendimiento en tiempo de ejecución de SDV, pero también podría aumentar el número de tiempos de espera que se producen. El valor predeterminado es 0. Si ejecuta SDV en un equipo de varios procesadores que usa el valor predeterminado, SDV aprovechará automáticamente los procesadores adicionales.