iec checker

Verificador IEC

️ Nota: atualmente inativa. Desenvolvimento adicional disponível se financiado.

? Contato: [email protected]

Este projeto tem como objetivo implementar uma ferramenta de código aberto para análise de código estático dos programas IEC 61131-3.

Idiomas suportados

Atualmente, esta ferramenta suporta a linguagem de programação de texto estruturada, os formatos PLCopen XML e SL XML. Ele funciona com dialeto de texto estruturado estendido que é completamente compatível com o transpiler Matiec.

Se você encontrar, que o iec-checker não funciona com extensões de texto estruturadas fornecidas pelo seu fornecedor do PLC, entre em contato. Provavelmente isso pode ser facilmente implementado com alguns ajustes no analisador.

Características

Os seguintes recursos são implementados atualmente:

• Cheques de diretrizes do PLCopen:
  • CP1: o acesso a um membro deve ser pelo nome
  • CP2: Todo o código deve ser usado no aplicativo
  • CP3: todas as variáveis ​​devem ser inicializadas antes de serem usadas
  • CP4: o endereço direto não deve se sobrepor
  • CP6: Evite variáveis ​​externas em funções, blocos de funções e classes
  • CP8: A comparação de pontos flutuantes não deve ser igualdade ou desigualdade
  • CP9: limitar a complexidade do código POU
  • CP13: POUS não deve se chamar direta ou indiretamente
  • CP25: a conversão do tipo de dados deve ser explícita
  • CP28: As comparações de tempo e medidas físicas não devem ser igualdade ou desigualdade
  • L10: O uso da instrução de continuação e saída deve ser evitado
  • L17: Cada uma das instruções se deve ter uma cláusula else
  • N3: defina os nomes para evitar
• Análise de declaração para tipos derivados
• Análise de fluxo de controle intraprocodificado: Detecção de blocos de código inacessíveis dentro do POUS
• Detecção de variáveis ​​não utilizadas
• Capacidade de se integrar a outras ferramentas. O verificador pode despejar seu IR em um arquivo JSON ( --dump Argument) e produzir avisos no formato JSON ( --output-format-format json ).
• Pode ser estendido com plugins escritos em Python. Consulte o plug -in Demo que plota o gráfico de fluxo de controle: cfg_plotter.py.

Instalação

Você pode baixar o lançamento binário mais recente do Linux e Windows X86_64 do GitHub Lankes.

Construir a partir de fontes

Linux

Instale o compilador OCAML mais recente e Opam. Considere as instruções de instalação em ocaml.org e opam.ocaml.org.

Em seguida, instale as dependências necessárias:

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

Construa e instale o binário bin/iec_checker :

make build

Windows

Instale o OCAML para Windows de acordo com o guia de instalação. O instalador gráfico funciona bem "fora da caixa".

Em seguida, abra o shell Cygwin instalado, clone o repositório e use as instruções de instalação da seção "Linux".

Opcional: scripts python e suíte de teste

Há também um script de verificador conveniente. O conjunto de testes também é escrito em Python e requer um intérprete Python com alguns pacotes adicionais.

Obtenha Python 3 e instale dependências no ambiente virtual:

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

Em seguida, execute testes de unidade:

make test 

Exemplos de uso

Verifique alguns programas de demonstração escritos em texto estruturado:

 bin/iec_checker test/st/*.st

Você também pode usar o argumento --help para exibir ajuda.