Skip to main content

Boîte de dialogue : Paramètres d'analyse statique : Règles

Fonction: Dans la boîte de dialogue, vous sélectionnez le règles qui sont vérifiés lors de l’analyse statique du code source d’un projet.

Pour plus d'informations, voir : Configuration et exécution d'une analyse statique

Appel:

  • Projet → Paramètres du projet menu, Analyse statique catégorie, Ouvrir la boîte de dialogue de configuration lien

  • Construire → Analyse statique → Paramètres menu

Exigence:

  • Le CODESYS Static Analysis le paquet est installé.

  • Un projet est ouvert.

Cet onglet affiche une arborescence de toutes les règles qui peuvent être vérifiées lors de l'analyse statique. Par défaut, toutes les règles sont activées, à l'exception de SA0016, SA0024, SA0073, SA0101, SA0105, SA0106, SA0133, SA0134, SA0150, SA0162 et toutes les « règles CEI strictes ».

Chaque règle possède un numéro unique. Lorsque la règle est vérifiée et qu'une violation est détectée, le numéro de règle et une description de l'erreur sont affichés dans la vue des messages dans le Construire catégorie au format suivant : SA<numéro de règle>, où « SA » signifie « Analyse statique » (exemple : « SA003 » pour la règle 3).

Astuce

La liste des règles disponibles peut être étendue par des plug-ins spécifiques.

Filtre

Champ de saisie des chaînes à rechercher

_cds_icon_filter_category.png

Les règles sont regroupées par catégorie.

  • Structuré par importance: Trier par Importance élevée, Moyenne, et Faible importance

  • Défaut: Structuration par défaut des règles dans CODESYS Static Analysis

_cds_icon_filter_list.png

_cds_icon_filter_list.png: Les règles sont affichées sous forme de liste plate. En cliquant sur l'en-tête de colonne correspondant, la liste peut être triée par numéro de règle, activation/désactivation, configuration spécifique à la règle ou importance.

Certaines règles activées dans la boîte de dialogue peuvent être désactivées temporairement dans l'application en appliquant un pragma.

Lorsque vous cochez la case, le paramètre bascule entre _cds_icon_option_deactivated.png, sa_icon_checked_red.png, et sa_icon_checked_yellow.png.

Lorsque vous activez ou désactivez un nœud parent, toutes les règles enfants sont également activées ou désactivées, respectivement.

Colonnes

Règles

Liste des règles avec numéro de règle

Vérification des règles

  • _cds_icon_option_deactivated.png⁣ : La règle n'est pas vérifiée.

  • sa_icon_checked_red.png⁣ : Si le résultat du contrôle est positif, alors une erreur (sa_icon_runstaticanalysis.png) pour l'analyse statique est affiché dans la vue des messages.

  • sa_icon_checked_yellow.png⁣ : Si le résultat du contrôle est positif, alors un avertissement (sa_icon_warning.png) pour l'analyse statique est affiché dans la vue des messages.

Précompiler

_san_icon_precompile_check_possible.png :

Les règles qui peuvent être vérifiées lors de la précompilation sont identifiées par une coche (_san_icon_precompile_check_possible.png ) dans cette colonne. Cela signifie que les règles sont déjà vérifiées lors de la saisie du code.

Une correction immédiate (Quickfix) est possible pour ces règles. Vous pouvez exécuter une gestion automatique et immédiate des erreurs directement aux positions de code concernées.

_san_img_not_checked.png:

Les règles qui ne sont pas marquées ne sont vérifiées qu'après une compilation réussie.

Configuration spécifique à une règle

Pour certaines règles, vous pouvez double-cliquer sur le champ pour ouvrir une boîte de dialogue spécifique à la règle afin de configurer la règle.

Importance:

Importance de la règle :

  • 3 étoiles rouges : Élevé

  • 2 étoiles orange : Moyen

  • 1 étoile grise : Faible