静的解析ツール - 企業ランキング(全6社)
更新日: 集計期間:2025年10月01日〜2025年10月28日
※当サイトの各ページの閲覧回数を元に算出したランキングです。
企業情報を表示
| 会社名 | 代表製品 | ||
|---|---|---|---|
| 製品画像・製品名・価格帯 | 概要 | 用途/実績例 | |
| 「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄... | ■弊社のプログラム静的解析/仕様書作成ツール「CasePlayer2」と連携して得た解析情報から、変数の競合状態のツリー図、レポートを生成します。 ■統合化された変数ブラウザにより、分かり易く変数のアクセス状態を可視化。 ・変数アクセス解析 ・関数アクセス解析 ... | ||
| 【主な機能】 ・車載ソフト開発に利用される商用静的解析ツール対応 ・違反警告のプロパティをビジュアルに可視化 ・違反警告の処置に必要な情報の閲覧が可能 ・レポート自動生成機能 ・流用、派生開発における過去の違反警告レビュー結果の再利用が可能 ・違反警告の判定を効率化するAI機能 | - | ||
|
---
--- |
--- | --- | |
-
- 代表製品
-
「SharedVariableChecker2」
- 概要
- 「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄...
- 用途/実績例
- ■弊社のプログラム静的解析/仕様書作成ツール「CasePlayer2」と連携して得た解析情報から、変数の競合状態のツリー図、レポートを生成します。 ■統合化された変数ブラウザにより、分かり易く変数のアクセス状態を可視化。 ・変数アクセス解析 ・関数アクセス解析 ...
Code Analysis Refiner
- 概要
- 【主な機能】 ・車載ソフト開発に利用される商用静的解析ツール対応 ・違反警告のプロパティをビジュアルに可視化 ・違反警告の処置に必要な情報の閲覧が可能 ・レポート自動生成機能 ・流用、派生開発における過去の違反警告レビュー結果の再利用が可能 ・違反警告の判定を効率化するAI機能
- 用途/実績例
- -
-
すべてを閲覧するには会員登録(無料)が必要です。
すでに会員の方はこちら
ガイオ・テクノロジー株式会社