SA0038：出力変数への読み取りアクセス 出力変数を検出します ( VAR_OUTPUT ) POU 内の読み取り権限でアクセスされます。 理由：61131-3によると、ブロック内の出力を読み取ることは禁止されています。これは、出力が出力としてだけでなく、中間結果の一時変数としても使用されることを示します。このような二重使用は避けてください。 重要度：低 例 47 . 例 VAR_GLOBAL

SA0041：ループ不変コードの可能性 各ループ サイクルで同じ値を計算するループ内の代入を検出します。このようなコード行はループの外側に挿入される可能性があります。 理由: これはパフォーマンスに関する警告です。ループ内で実行されるが、各ループ サイクルで同じことを行うコードは、ループの外で実行できます。 重要性：中 例 49 . 例 PROGRAM PLC_PRG VAR iCounter,

SA0095：条件の割り当て の条件で割り当てを決定します IF -、 CASE - また REPEAT -構築します。 理由：割り当て（：=）と比較（=）は簡単に混同される可能性があります。したがって、条件内の割り当ては、意図せずに簡単に行われる可能性があるため、報告されます。これは、コードの読者を混乱させる可能性もあります。 重要性：高い 例 87 . 例 PROGRAM PLC_PRG VA

SA0100：<n>バイトより大きい変数 nバイトを超える変数を検索します。ここで、nは現在の構成で指定されます。デフォルト：1024バイト。行をダブルクリックすると、値を変更できます。 理論的根拠：一部のプログラミングガイドラインでは、単一の変数の最大サイズが設定されています。これはここで確認できます。 重要度：低 例 88 . 例 PROGRAM PLC_PRG VAR aobyTest :

SA0163：ネストされたコメント ネストされたコメントを検出します。 理論的根拠：ネストされたコメントは読みにくいため、避ける必要があります。 重要度：低 PLCopenルール：C3 例 120 . 例 {attribute 'do-analysis'} (* That is (* nested comment 1 *) *) PROGRAM PLC_PRG VAR (* That is //

SA0164：複数行コメント で始まる複数行のコメントを検索します (* comment *) エンコードされます。で始まる単一行のコメントのみが許可されます // comment エンコードされます。 理論的根拠：一部のプログラミングガイドラインでは、コメントの最初と最後が見えなくなったり、エラーによって終了コメントブラケットが削除されたりする可能性があるため、コード内の複数行コメントを禁止して

SA0168：不要な割り当て コードに影響を与えない変数への割り当てを検索します。 理由：割り当て間で変数が評価されることなく、値が変数に複数回割り当てられている場合、最初の割り当てはプログラムに影響を与えません。 重要度：低 例 125 . 例 PROGRAM PLC_PRG VAR dwVal1 : DWORD; dwVal2 : DWORD; END_VAR // unnecessary a

SA0054：REAL / LREALを比較して等式/不等式 比較演算子かどうかを決定します = （平等）と <> （不等式）タイプのオペランド REAL また LREAL 比べる。 理由: REAL / LREAL 値は、IEEE 754 標準に従って浮動小数点数として実装されます。この標準は、特定の一見単純な 10 進数を正確に表現できないことを意味します。その結果、以下のように異なる表現が存

SA0056：定数が範囲外 演算子の範囲外のリテラル（定数）を検索します。 理由：このメッセージは、値がこの値の値の範囲外にある定数と比較された場合に発行されます。その後、比較は定数を返します TRUE また FALSE 。これはプログラミングエラーを示しています。 重要性：高い 例 65 . 例 PROGRAM PLC_PRG VAR byTestVar: BYTE; END_VAR WHILE

SA0059：常にTRUEまたはFALSEを返す比較操作 結果が常に次になるリテラルとの比較を検出します。 TRUE または FALSE 、コンパイル時にすでに処理できます。 理論的根拠：一定の演算 TRUE また FALSE 戻り値はプログラミングエラーを示します。 重要性：高い 例 69 . 例 PROGRAM PLC_PRG VAR byTemp1 : BYTE; END_VAR WHILE