SA0125：初期化の参照変数 宣言部分の初期化に使用される参照変数を決定します。 理由: ポインターと参照は初期化に使用しないでください。ポインターが初期化されていない場合、アクセス違反が発生する可能性があります。 重要性：中 例 111 . 例 TYPE TESTSTRUCT : STRUCT xA : BOOL; xB : BOOL; END_STRUCT END_TYPE FUNCTION

SA0140：ステートメントがコメントアウトされました コメントアウトされたステートメントを検索します 理論的根拠：コードは、デバッグ目的でコメントアウトされることがよくあります。そのようなコメントがリリースされたとき、コードを削除する必要があるのか、それともデバッグ目的でコメントアウトされて誤ってコメントされていないのかは後で不明になります。 重要性：高い PLCopenルール：C4 例 112

おそらく初期化されていない変数が使用されています このセクションの内容 :

SA0039：nullポインタの逆参照の可能性 nullポインタが逆参照される可能性のあるコードを決定します。 正当性: ポインターは、各逆参照の前にチェックして、ゼロに等しくないことを確認する必要があります。そうしないと、実行時にアクセス違反が発生する可能性があります。 重要性：高い 例 113 . 例 PROGRAM PLC_PRG VAR ptiVar1:POINTER TO INT; pt

SA0046：初期化されていないインターフェイスが使用されている可能性があります 使用前に初期化されていないインターフェースの使用を検出します。 理由: インターフェイス参照は、使用する前に <> 0 であるかどうかをチェックする必要があります。そうしないと、アクセス中にアクセス違反が発生する可能性があります。 重要性：高い 例 114 . 例 //Declaration of INTERFACE

SA0145：初期化されていない参照の使用の可能性 使用前に初期化できず、オペレーターによっても初期化されない可能性のある、使用済みのすべての参照変数を取得します __ISVALIDREF チェックされます。このルールは、POUの実装部分に適用されます。宣言にはルールがあります SA0124 。 理由: アクセス中にアクセス違反が発生する可能性があるため、アクセス前に参照の有効性をチェックする必要

SA0150：メトリックの下限または上限の違反 下限または上限で有効なメトリックに違反しているビルディングブロックを識別します。 理論的根拠：特定のメトリックに準拠するコードは、読みやすく、保守しやすく、テストしやすいです。 重要性：高い PLCopenルール：CP9 例 116 . 例 初期状況：メトリック ビューの数 対話中です プロジェクト設定→静的コード分析→メトリクス 起動しました。下限

SA0160：再帰呼び出し ファンクションブロックのアクション、メソッド、およびプロパティでの再帰呼び出しを決定します。また、仮想関数呼び出しとインターフェース呼び出しを介して可能な再帰を検出します。 理由：再帰は非決定論的な動作につながるため、エラーの原因になります。 重要性：中 PLCopenルール：CP13 例 117 . 例 機能ブロック FB_Test 次の方法です Call 割り当て：

厳格なIECルールを確認してください このセクションの内容 :

SA0111：ポインタ変数 タイプの変数を決定します POINTER TO 。 理由：IEC61131-3規格ではポインターが許可されていません。 重要度：低 例 95 . 例 VAR piTemp : POINTER TO INT; pbyTemp : POINTER TO BYTE; END_VAR での出力 メッセージ ビュー： SA0111: データ型 POINTER は使用できません こ