SA0062:式でのTRUEまたはFALSEの使用 リテラルの使用法を決定します TRUE また FALSE 式で。 正当性: ブール値リテラルを使用した演算 TRUE または FALSE 、繰り返し計算され、毎回同じ結果が返されることは避けるべきです。この種の表現は余分なので置き換えるべきです。その存在はエラーを示します。いずれの場合も、式はプログラムの実行時間に不必要に負担をかけます。 重要性
SA0063:おそらく16ビット互換ではない操作 中間結果で16ビット演算を決定します。背景:32ビットの中間結果は、16ビットシステムでは切り捨てることができます。例: (int+10) 16ビットを超えることができます。 理由:このメッセージは、16ビットプロセッサと32ビットプロセッサの両方で実行する必要があるコードを記述しなければならないという非常にまれなケースでの問題から保護することを目
SA0072:カウンタ変数の使用が無効です 内のカウンター変数の使用を決定します FOR -リボン。 理由: でのカウンタ変数の操作 FOR ループすると簡単に無限ループが発生する可能性があります。カウンタ変数の特定の値に対するループの実行を防ぐには、次を使用します。 CONTINUE または単に IF 。 重要性:高い PLCopenルール:L12 例 79 . 例 PROGRAM PLC_PR
SA0145:初期化されていない参照の使用の可能性 使用前に初期化できず、オペレーターによっても初期化されない可能性のある、使用済みのすべての参照変数を取得します __ISVALIDREF チェックされます。このルールは、POUの実装部分に適用されます。宣言にはルールがあります SA0124 。 理由: アクセス中にアクセス違反が発生する可能性があるため、アクセス前に参照の有効性をチェックする必要
SA0113:データ型WSTRINGの変数 型の変数を決定します WSTRING 。 理由:すべてのシステムがそれをサポートしているわけではありません WSTRING 。クリックするとコードの移植性が高まります WSTRING 免除。 重要度: 低 例 97 . 例 VAR wstrTemp : WSTRING; END_VAR での出力 メッセージ ビュー: SA0113: データ型 WSTRI
SA0114:データ型LTIMEの変数 型の変数を検出します。 LTIME 理由:すべてのシステムがそれをサポートしているわけではありません LTIME 。クリックするとコードの移植性が高まります LTIME 免除。 重要度:低 例 98 . 例 VAR ltVar : LTIME; // SA0114 END_VAR での出力 メッセージ ビュー: SA0114: データ型 LTIME は許可さ
CODESYS Static Analysis と CODESYS Static Analysis 、IEC ソース コードのチェックは、定義されたルール、命名規則、またはメトリックを使用して実行できます。その結果、潜在的な開発上の問題の兆候が強調表示され、フィールド テスト前にエラーを特定して修正できます。これにより、アプリケーションの開発とエラー チェックにかかる時間を大幅に節約できます。 で
概要 重要 静的解析は、現在のプロジェクトでアプリケーション コードに対してのみ実行されます。ライブラリとそのソースコードは分析されません。 CODESYS Static Analysis 実装中に、より適切で読みやすいコードを作成し、競合するプログラム部分やサポートされていないプログラム部分を特定するのに役立ちます。特に、潜在的なエラーの原因が明らかになります。たとえば、テスト コードがまだ含ま
STコードのルール違反をすばやく修正 対話中 設定静的分析 タブの下 ルール プリコンパイル情報に基づいて準拠がチェックされるSTコードのルールをアクティブ化できます。このようなルール違反を見つけるために静的コード分析を明示的に呼び出す必要はありません。ルールへの準拠は、プリコンパイル中およびコンパイルが成功した後、アクティブなSTエディターでチェックされます。ルール違反が発生した場合は、すぐに下
コードクローンの検出 要件: CODESYS Static Analysis インストールされています。 あ CODESYS プロジェクトはオープンしています。プロジェクトには、少なくとも 2 つのプログラミング オブジェクトに同じコード ブロックが含まれています。 クリック ビルド → 静的解析 → クローンの検出 。 景色 検索結果のクローンを作成する 開きます。 クリック 結果 。 見つか