Subnavigation
欠陥解析
ソースコードにランタイムエラーの検知
静的解析ツールAxivion Suiteの欠陥分析機能は、ソースコードに潜在的なランタイムエラーがないかチェックします。
分析には、スケーラブルなデータと制御フローのチェックが含まれます。
これにより、配列の範囲外アクセスやゼロ除算などのエラーを早期に検出することができます。
メモリとポインタ
- NULL参照
- ローカル変数のアドレスのエスケープ
- new/mallocからのメモリリーク（delete/freeなし）
- リソースの割り当て/解放の不一致
- 同時に読み書きに使用されるリソース
- リソースに対する禁止された操作
- 二重解放/解放後の使用
- 関連しないポインターの比較/減算
- 配列の範囲外アクセス
- バッファオーバーフロー
- 副作用
- 汚染解析
- レースコンディション解析
例外
- スタック戻し時の例外
- 例外規定の違反
- キャッチされなかった例外
- 到達しないキャッチブロック
数値エラー
- ゼロ除算
- 算数演算におけるオーバーフロー
- 列挙型変数への不正な値の代入
論理エラーとカスタマイズされたルール
- 禁止された引数の値
- 未初期化変数
- 未使用の定義
- 定数条件
静的解析ツールAxivion Suiteの欠陥分析機能は、ランタイムエラーに焦点を当てていますが、
ツールはAPIの使用や構文エラーなども対象としています。
詳細については、弊社にお問い合わせください。
