iec checker

IECチェッカー

ショ和注：現在、非アクティブです。資金提供された場合、さらなる開発が利用可能です。

？連絡先： [email protected]

このプロジェクトは、IEC 61131-3プログラムの静的コード分析のためのオープンソースツールを実装することを目的としています。

サポート言語

このツールは現在、構造化されたテキストプログラミング言語、PLCOPEN XML、およびSEL XML形式をサポートしています。 Matiecトランスピラーと完全に互換性のある拡張構造化されたテキスト方言で動作します。

iec-checkerがPLCベンダーが提供する構造化されたテキスト拡張機能では動作しないことがわかった場合は、お知らせください。これは、おそらくパーサーにいくつかの微調整で簡単に実装できます。

特徴

現在、次の機能が実装されています。

• PLCOPENガイドラインチェック：
  • CP1：メンバーへのアクセスは名前で行われます
  • CP2：すべてのコードはアプリケーションで使用されます
  • CP3：すべての変数は、使用する前に初期化されます
  • CP4：直接アドレス指定は重複しないでください
  • CP6：関数、関数ブロック、クラスの外部変数を避けてください
  • CP8：浮動小数点の比較は平等または不平等であってはなりません
  • CP9：POUコードの複雑さを制限します
  • CP13：Pousは、直接的または間接的に自分自身を呼び出してはなりません
  • CP25：データ型変換は明示的でなければなりません
  • CP28：時間と物理的測定の比較は、平等または不平等ではない
  • L10：継続および終了命令の使用は避ける必要があります
  • L17：それぞれの場合は、命令に他の句が必要です
  • N3：回避する名前を定義します
• 派生タイプの宣言分析
• 陽性制御流れ分析：Pous内の到達不可能なコードブロックの検出
• 未使用変数の検出
• 他のツールと統合する能力。チェッカーは、IRをJSONファイル（ --dump引数）にダンプし、JSON形式（ --output-format-format json ）で警告を作成できます。
• Pythonで書かれたプラグインで拡張できます。コントロールフローグラフをプロットするデモプラグイン：CFG_PLOTTER.pyを参照してください。

インストール

GitHubリリースからLinuxとWindows X86_64の最新のバイナリリリースをダウンロードできます。

ソースから構築します

Linux

最新のOCAMLコンパイラとオパムをインストールします。 ocaml.orgおよびopam.ocaml.orgでのインストール手順を検討してください。

次に、必要な依存関係をインストールします。

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

bin/iec_checkerバイナリを構築してインストールします：

make build

Windows

インストールガイドに従ってWindows用のOCAMLをインストールします。グラフィックインストーラーは「箱から出して」うまく機能します。

次に、インストールされたCygwinシェルを開き、リポジトリをクローンし、「Linux」セクションからインストール手順を使用します。

オプション：Pythonスクリプトとテストスイート

また、OCAMLバイナリをラップし、拡張フォーマットサポートやPythonプラグインの実行などの追加オプションを提供する便利なChecker.pyスクリプトもあります。テストスイートは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引数を使用してヘルプを表示することもできます。