Yutian 静的解析システムは、.c/.cpp ファイルに対して静的解析を実行できます。主な分析内容としては、制御フロー分析、データフロー分析、基本メトリクスの計算、コードルール違反の検査などが挙げられます。関数間の呼び出し関係や関数の制御フローグラフを表示できます。コーディング ルールは MISRA に基づいており、DU、DD、UR、混合型演算などの 60 近くの一般的な問題を分析します。検出された問題について、システムは場所、原因、および対応するルールを提供して、ユーザーが問題を検証および改善し、問題を効率的に修正してコードの品質を向上できるようにします。特長: 1. 使いやすさが良い。ファイルを開くだけで分析が完了し、ユーザーは対象の関数の制御フロー グラフ、メトリック、およびルール チェックの結果を表示できます。 2. 強い包容力。コンパイルして渡すことができるほぼすべての C/C++ プログラム ファイルに適用できます。 3. インジケーターを完成させます。システムはコードを包括的かつ客観的に評価するために数百のメトリクスを計算します。 4. 豊富な品質ルール。何百もの組み込みの実用的な品質ルールをチェックして、コード内のルール違反を可能な限り検出します。 Yutian 静的解析システムの最新バージョン 1.5 アップデートの主な内容は次のとおりです。 1. コード ルールを 10 個のみ追加しました。 2. 静的解析で stl テンプレートをパラメータとして使用する関数が実装されていないという誤検出エラーを解決しました。 3. 変数定義を解決しました。 stl テンプレートの種類と分析 4 デフォルト値パラメーターを持つ関数の誤った定義分析の問題を解決 5 関数呼び出しの実パラメーターの変数分析を改善 (以前は参照として単一処理されていました)
拡大する