Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
Un fichier Options SDV contient les paramètres SDV. Certains de ces paramètres peuvent être modifiés. D’autres paramètres sont réservés par SDV.
Les champs du fichier d’options que vous pouvez modifier incluent les éléments suivants :
SDV_SlamConfig_Maximum_Driver_Size
Spécifie la taille maximale d’un pilote pris en charge par SDV (en termes de lignes de code). La valeur par défaut est 100 000 lignes de code.
SDV_SlamConfig_Timeout
Limite le temps passé par SDV à vérifier chaque règle. La valeur de cette entrée est un entier qui représente un nombre de secondes. La valeur minimale est 10, la valeur maximale est 86400 et la valeur par défaut est 3000 (50 minutes).
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
Limite la quantité de mémoire virtuelle que SDV peut consommer lors de la vérification de chaque règle. La valeur de cette entrée est un entier en unités mégaoctets (Mo). La valeur minimale est 100 et la valeur par défaut est de 2500 Mo (2,5 Go.)
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. La valeur optimale d’un système est d’environ 200 Mo inférieure à la quantité de mémoire physique sur le système.
SDV_SlamConfig_NumberOfThreads
Définit le nombre de threads à utiliser pendant une vérification. Si la valeur est 0, cela limite le nombre de threads au nombre de processeurs sur l’ordinateur (cela inclut les processeurs hyperthread). Si la valeur est définie sur un nombre supérieur à 0, la valeur spécifie le nombre de threads que SDV peut utiliser pendant la vérification. L’augmentation du nombre de threads peut augmenter les performances d’exécution de SDV, mais elle peut également augmenter le nombre de délais d’attente qui se produisent. La valeur par défaut est 0. Si vous exécutez SDV sur un ordinateur multiprocesseur qui utilise la valeur par défaut, SDV tire automatiquement parti des processeurs supplémentaires.