Aperçu
Important
L'analyse statique est effectuée dans le projet en cours uniquement pour le code de l'application. Les bibliothèques et leurs codes sources ne sont pas analysés.
CODESYS Static Analysis vous aide lors de l'implémentation afin d'écrire un code meilleur et plus lisible et d'identifier les parties de programme conflictuelles ou non prises en charge. Des sources d’erreurs potentielles sont notamment révélées. Par exemple, les emplacements sont identifiés où le code de test est toujours contenu. Ou bien des pointeurs sont trouvés qui ne sont pas vérifiés pour 0 avant le déréférencement. Ou (avec le SA0119 règle), les emplacements sont analysés où l'orientation objet est utilisée et les ports vers un autre environnement de développement, qui ne prend pas en charge l'orientation objet, ce qui rend cela impossible. La portabilité du code peut ainsi être garantie.
Pour les erreurs signalées par Static Analysis sur la base des informations de précompilation, il existe un support pour une gestion immédiate des erreurs ("Quickfix"). Cela vous permet de trouver et de corriger rapidement les emplacements dans le code qui sont signalés lors de l'analyse.
Pour améliorer la lisibilité du code source, vous pouvez définir des conventions de dénomination et vérifier leur conformité.
De plus, pour évaluer la qualité du code, vous pouvez visualiser les métriques déterminées à partir du code source. Les exemples incluent la métrique McCabe comme mesure de la testabilité du code, ou la complexité cognitive comme mesure de la lisibilité et de la maintenabilité du code source. L'analyse du flux de données effectuée dans l'analyse statique est basée sur le principe de propagation constante.
Avec le Créer → Effectuer une analyse statique commande de menu, vous activez explicitement l'analyse statique.
Dans le Paramètres , vous activez une analyse statique qui est automatiquement effectuée après chaque compilation de code.
Tu utilises déclarations pragmatiques pour exclure des parties individuelles ou des blocs de code de l’analyse.
Dans le Règles Dans la boîte de dialogue, vous pouvez savoir quelles règles sont configurées, comment elles sont activées et quand les contrôles sont exécutés sur la règle respective. Là, vous activez les règles qui vous concernent.
Dans le Conventions de dénomination , vous attribuez un préfixe à chaque type de données tel qu'il est ensuite attendu dans les déclarations. Des écarts sont signalés.
Dans le Paramètres d'analyse statique : Métriques dans la boîte de dialogue, vous activez les métriques qui vous concernent.
Avec le Afficher la complexité cognitive pour l'éditeur actuel commande, les incréments déterminés sont affichés ligne par ligne dans l'éditeur actif.
Le Afficher les valeurs de propagation constante pour l'éditeur actuel La commande analyse en détail le flux de données dans l'éditeur actif et l'affiche chemin par chemin. En fonction de cela, des améliorations du code sont possibles.
Pour plus d'informations, voir : Des règles, Métrique, et Pragmas et attributs