Subnavigation

欠陥解析

ソースコードにランタイムエラーの検知

静的解析ツールAxivion Suiteの欠陥分析機能は、ソースコードに潜在的なランタイムエラーがないかチェックします。
分析には、スケーラブルなデータと制御フローのチェックが含まれます。
これにより、配列の範囲外アクセスやゼロ除算などのエラーを早期に検出することができます。

メモリとポインタ

  • NULL参照
  • ローカル変数のアドレスのエスケープ
  • new/mallocからのメモリリーク(delete/freeなし)
  • リソースの割り当て/解放の不一致
  • 同時に読み書きに使用されるリソース
  • リソースに対する禁止された操作
  • 二重解放/解放後の使用
  • 関連しないポインターの比較/減算
  • 配列の範囲外アクセス
  • バッファオーバーフロー
  • 副作用
  • 汚染解析
  • レースコンディション解析

例外

  • スタック戻し時の例外
  • 例外規定の違反
  • キャッチされなかった例外
  • 到達しないキャッチブロック

数値エラー

  • ゼロ除算
  • 算数演算におけるオーバーフロー
  • 列挙型変数への不正な値の代入

論理エラーとカスタマイズされたルール

  • 禁止された引数の値
  • 未初期化変数
  • 未使用の定義
  • 定数条件

静的解析ツールAxivion Suiteの欠陥分析機能は、ランタイムエラーに焦点を当てていますが、
ツールはAPIの使用や構文エラーなども対象としています。

詳細については、弊社にお問い合わせください。

お問い合わせ

Axivion 無料デモ

お問い合わせ

カタログ

ダウンロード

サクセスストーリー

詳細を読む

Axivion 静的コード解析

詳細を読む