静的プログラム分析、SPARROW

深い呼び出し関係でも正確な分析結果が得られる最先端プログラム分析技術

• 強力なプログラム分析能力

  • ㆍ プログラム言語分野の最新/最適分析アルゴリズム採択
  • ㆍ プログラム実行フローおよび意味分析
  • ㆍ プログラム状態変化の詳細な分析
  • - プログラム実行過程のデータの流れの理解
    - ループ内での変化の詳細な分析
    - 複雑に絡んでいる構造体の処理およびフィールド処理

• 効率的な統合管理システム

  • ㆍ 簡単で直感的な分析実行/管理
  • ㆍ 分散環境構造
  • 単一分析エンジンで物理的に 分離された複数プログラムの分析可能

検出誤りの種類

支援環境