概要
重要
静的解析は、現在のプロジェクトでアプリケーション コードに対してのみ実行されます。ライブラリとそのソースコードは分析されません。
CODESYS Static Analysis 実装中に、より適切で読みやすいコードを作成し、競合するプログラム部分やサポートされていないプログラム部分を特定するのに役立ちます。特に、潜在的なエラーの原因が明らかになります。たとえば、テスト コードがまだ含まれている場所が特定されます。または、逆参照前に 0 がチェックされていないポインタが見つかりました。または（ SA0119 ルール）オブジェクト指向が使用されている場所が解析され、オブジェクト指向をサポートしていない別の開発環境に移植されるため、不可能になります。その結果、コードの移植性が保証されます。
プリコンパイル情報に基づいて静的解析によって報告されるエラーについては、即時エラー処理 (「クイックフィックス」) がサポートされています。これにより、分析中に報告されたコード内の場所をすばやく見つけて修正できます。
ソース コードの読みやすさを向上させるために、命名規則を定義し、準拠しているかどうかをチェックできます。
さらに、コードの品質を評価するために、ソース コードから決定されたメトリクスを表示できます。例としては、コードのテスト容易性の尺度としての McCabe メトリクスや、ソース コードの可読性と保守性の尺度としての認知複雑度が挙げられます。静的解析で実行されるデータ フロー解析は、定数伝播の原理に基づいています。
とともに 作成 → 静的解析の実行 メニュー コマンドを使用すると、静的解析を明示的にアクティブ化します。
の中に 設定 ダイアログで、各コードのコンパイル後に自動的に実行される静的分析を有効にします。
あなたが使う プラグマステートメント コードの個々の部分またはブロックを分析から除外します。
の中に ルール ダイアログでは、どのルールが構成されているか、どのようにアクティブ化されているか、各ルールに対していつチェックが実行されるかを確認できます。そこで、自分に関連するルールを有効にします。
の中に 命名規則 ダイアログでは、宣言で期待されるプレフィックスを各データ型に割り当てます。逸脱が報告されます。
の中に 静的分析設定: メトリクス ダイアログで、関連するメトリクスをアクティブにします。
とともに 現在のエディターの認知的複雑性を表示 コマンドを実行すると、決定された増分がアクティブなエディターに 1 行ずつ表示されます。
の 現在のエディタの定数伝播の値を表示 このコマンドは、アクティブなエディターのデータ フローを詳細に分析し、パスごとに表示します。これに応じて、コードを改善することが可能です。