iec checker

Проверка МЭК

️ Примечание: в настоящее время неактивно. Дополнительная разработка доступна в случае финансирования.

? Контакт: [email protected]

Этот проект направлен на реализацию инструмента с открытым исходным кодом для анализа статического кода программ IEC 61131-3.

Поддерживаемые языки

В настоящее время этот инструмент поддерживает язык структурированного текстового программирования, форматы Plcopen XML и SEL XML. Он работает с расширенным структурированным текстовым диалектом, который полностью совместим с Matiec Transpiler.

Если вы обнаружите, что iec-checker не работает со структурированными расширениями текста, предоставленными вашим поставщиком PLC, пожалуйста, дайте мне знать. Это, вероятно, может быть легко реализовано с помощью некоторых изменений в анализаторе.

Функции

В настоящее время реализованы следующие функции:

• Плакопен Рекомендации Проверки:
  • CP1: доступ к участнику должен быть по имени
  • CP2: весь код должен использоваться в приложении
  • CP3: Все переменные должны быть инициализированы перед использованием
  • CP4: прямая адресация не должна перекрываться
  • CP6: Избегайте внешних переменных в функциях, блоках функций и классов
  • CP8: сравнение с плавающей запятой не должно быть равенством или неравенством
  • CP9: ограничить сложность кода POU
  • CP13: POUS не должен называть себя прямо или косвенно
  • CP25: преобразование типа данных должно быть явным
  • CP28: Сравнение времени и физических мер не должно быть равенством или неравенством
  • L10: следует избегать использования инструкции по продолжению и выходу
  • L17: каждая, если инструкция должна иметь пункт Else
  • N3: Определите имена, чтобы избежать
• Анализ декларации для производных типов
• Анализ интрапроцедурного управления: обнаружение недостижимых кодовых блоков внутри Pous
• Обнаружение неиспользованных переменных
• Способность интегрироваться с другими инструментами. Checker может выбросить свой IR в файл JSON (аргумент --dump ) и создать предупреждения в формате JSON ( --output-format-format json ).
• Может быть расширен с помощью плагинов, записанных на Python. См. Демо -плагин, который задумал график потока управления: cfg_plotter.py.

Установка

Вы можете скачать последний двоичный релиз для Linux и Windows X86_64 из выпусков GitHub.

Строить из источников

Linux

Установите последний компилятор OCAML и Opam. Рассмотрим инструкции по установке на ocaml.org и opam.ocaml.org.

Затем установите требуемые зависимости:

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

Создайте и установите бинарную bin/iec_checker :

make build

Окна

Установите OCAML для Windows в соответствии с руководством по установке. Графический установщик хорошо работает «из коробки».

Затем откройте установленную оболочку Cygwin, клонируйте репозиторий и используйте инструкции по установке в разделе «Linux».

Необязательно: сценарии Python и тестовый набор

Существует также удобный сценарий Checker.py, который завершает бинарную бинар и предоставляет дополнительные варианты, такие как расширенная поддержка форматирования и запуск плагинов Python. Тестовый набор также записан на Python и требует интерпретатора Python с некоторыми дополнительными пакетами.

Получите Python 3 и установите зависимости в виртуальной среде:

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

Затем запустите модульные тесты:

make test 

Примеры использования

Проверьте некоторые демонстрационные программы, написанные в структурированном тексте:

 bin/iec_checker test/st/*.st

Вы также можете использовать --help для отображения помощи.