コーディング規約チェック機能、およびプログラムのあらゆるパスをシミュレートするフロー解析でバグを早期に発見します。複雑度が高くバグが入り込みやすいコードを検出できます。早期にリファクタリングすることで、バグを未然に防止とテストしやすいソースコードの実装が可能です。

• フロー解析
• コーディング規約チェック
  • ユーザー定義ルール作成
  • 重複コード検出
• メトリクス計測
• AI&機械学習

フロー解析は、ソースコードを解析し、関数・ファイルをまたがったバグに至るまでの処理の流れをレポートします。 コードレビューなど目視では発見しにくいバグが検出可能になります。後工程でのバグの発覚による大幅な手戻りコストの発生防止に効果を発揮します。
 

＜フロー解析で検出可能な問題の一例＞

• メモリリーク/リソースリーク
• バッファオーバーフロー
• NULLポインターの参照
• 未初期化変数の参照
• 整数オーバーフロー
• ゼロ除算
• 配列の境界外アクセス
• イテレーター範囲外アクセス
• セキュリティ脆弱性
• デッドロック
• 不適切な排他制御

MISRA、AUTOSARなどのコーディング規約に対応したルールを搭載しています。搭載ルールからコーディング規約に沿ったルールの選定や、コーディング規約チェック自体の策定を行い自動的に解析を行うことで、寿命の長いソースコードを実装する仕組みを構築します。

＜サポートしているコーディング規約の例＞

• AUTOSAR C++14コーディングガイドライン
• MISRA C:1998
• MISRA C:2004
• MISRA C++:2008
• MISRA C:2023 (MISRA C:2012)
• NISRA C++:2023
• HISソースコードメトリクスチェックルール
• FDA C/C++ 推奨ルール

IoTにおけるセキュリティ対策をより強固なものにするセキュアコーディングのチェックに特化したルールセットを標準搭載しています。

＜サポートしているコーディング規約の例＞

• CERT C コーディングスタンダード
• CERT C++ コーディングスタンダード
• CWE TOP 25 最も危険なプログラミングエラー
• OWASP TOP10
• DISA ASD STIG
• PCIDSS
• UL2900

などのセキュリティに関連する規約

ユーザー定義コーディングルールを作成する「RuleWizard」を搭載。GUIを使用して、視覚的にコーディングルールを作成できます。違反となるソースコードを読み込ませることで、ユーザー定義ルールを自動生成することも可能です。

メトリクスの自動計測で、ソフトウェアの品質を定量的に評価します。バクの温床となる複雑なソースコードを検出します。早期にリファクタリングすることで、バグの防止、テストしやすいソースコードの実装が可能です。

C/C++testは、第三者認証機関であるTÜV SÜD社よりIEC 61508およびISO 26262、IEC 62304に準拠したテストツールとして認証を取得済みです。TÜV SÜD社より認証を取得しているため、ユーザーによるツール認証のための検証依頼をする必要がなく、ツール認証の時間や費用を削減できます。
IEC 61508およびISO 26262は、ツールが開発プロジェクトで使用するのに妥当なものであるかを証明できなければならないと定めています。もし、この証明をユーザーが行うとすると、ツールの使用実績や実行結果などのドキュメントを用意し、第三者に検証を依頼する必要があり、手間や費用がかかります。
※認証取得を目的としてご利用になる場合は、お問い合わせください。