iec checker

Vérificateur IEC

️ Remarque: actuellement inactif. De développement ultérieur disponible s'il est financé.

? Contact: [email protected]

Ce projet vise à implémenter un outil open source pour l'analyse de code statique des programmes CEI 61131-3.

Langues prises en charge

Cet outil prend actuellement en charge le langage de programmation de texte structuré, les formats PLCOPEN XML et SEL XML. Il fonctionne avec un dialecte de texte structuré étendu qui est complètement compatible avec le transpiler MATIEC.

Si vous constatez que iec-checker ne fonctionne pas avec des extensions de texte structurées fournies par votre fournisseur de PLC, veuillez me le faire savoir. Cela peut probablement être facilement mis en œuvre avec quelques ajustements dans l'analyseur.

Caractéristiques

Les fonctionnalités suivantes sont actuellement implémentées:

• Contrôles des directives de plcopen:
  • CP1: l'accès à un membre doit être nommé
  • CP2: Tous les code doivent être utilisés dans l'application
  • CP3: Toutes les variables doivent être initialisées avant d'être utilisées
  • CP4: L'adresse directe ne devrait pas se chevaucher
  • CP6: Évitez les variables externes des fonctions, des blocs de fonctions et des classes
  • CP8: La comparaison des points flottants ne doit pas être l'égalité ou l'inégalité
  • CP9: limiter la complexité du code POU
  • CP13: Pous ne doit pas s'appeler directement ou indirectement
  • CP25: La conversion du type de données doit être explicite
  • CP28: Les comparaisons de temps et de temps physique ne doivent pas être l'égalité ou l'inégalité
  • L10: L'utilisation des instructions de poursuite et de sortie doit être évitée
  • L17: chacun si l'instruction devrait avoir une clause d'autre
  • N3: définissez les noms pour éviter
• Analyse de la déclaration pour les types dérivés
• Analyse du flux de contrôle intraprocédural: détection de blocs de code inaccessibles à l'intérieur du pous
• Détection de variables inutilisées
• Capacité à s'intégrer à d'autres outils. Checker peut vider son IR dans un fichier JSON ( --dump Argument) et produire des avertissements au format JSON ( --output-format-format json ).
• Peut être étendu avec des plugins écrits en python. Voir le plugin de démonstration qui trace le graphique de flux de contrôle: cfg_plotter.py.

Installation

Vous pouvez télécharger la dernière version binaire pour Linux et Windows X86_64 à partir des versions GitHub.

Construire à partir de sources

Linux

Installez le dernier compilateur OCAML et OPAM. Envisagez des instructions d'installation sur OCAML.org et opam.ocaml.org.

Installez ensuite les dépendances requises:

opam install --deps-only .    # first time only

Construisez et installez le bin/iec_checker :

make build

Fenêtre

Installez OCAML pour Windows en fonction du guide d'installation. Le programme d'installation graphique fonctionne bien "hors de la boîte".

Ensuite, ouvrez le shell Cygwin installé, clonez le référentiel et utilisez les instructions d'installation de la section "Linux".

Facultatif: scripts Python et suite de test

Il existe également un script Checker.py pratique qui enveloppe OCAML Binary et fournit des options supplémentaires comme la prise en charge étendue de la mise en forme et l'exécution des plugins Python. La suite de tests est également écrite en Python et nécessite un interprète Python avec quelques packages supplémentaires.

Obtenez Python 3 et installez les dépendances dans l'environnement virtuel:

virtualenv venv --python=/usr/bin/python3
source venv/bin/activate
pip3 install -r requirements.txt
pip3 install -r requirements-dev.txt

Effectuez ensuite des tests unitaires:

make test 

Exemples d'utilisation

Consultez certains programmes de démonstration écrits en texte structuré:

 bin/iec_checker test/st/*.st

Vous pouvez également utiliser un argument --help help pour afficher l'aide.