高精度静的解析ツール CodeSonar 世界トップレベルの解析能力で不具合や脆弱性の原因となるソースコードのバグを検出

採用事例紹介・ケーススタディ

静的解析ツールCodeSonarが「潜在的なバグ」を発見。ボディ制御用ソフトウェアの信頼性向上をサポート―ニデックモビリティ株式会社
ニデックモビリティ株式会社は、車載用電子制御技術を進化させてモビリティ社会における社会課題の解決に貢献すべく、カーエレクトロニクスに不可欠な車のボディ制御に使用される各種コントローラやスイッチ、センサを中心とした製品を提供している自動車部品メーカーです。ニデックモビリティでは、ボディ制御用コントローラの中でも大規模ソフトウェア開発の静的解析ツールとして、ユビキタスAIが提供している米国GrammaTech社の「CodeSonar」が採用されています。
詳しく読む
GrammaTech、火星探査機キュリオシティが成し遂げた生命体調査を支援 - GrammaTech社事例 -
NASAの火星探査機キュリオシティは、巨大なパラシュートとジェット制御により降下し、スカイクレーンと呼ばれるバンジーのような機器の支援により、見事に着陸に成功しました。火星と地球間では通信時間を要するため、着陸手順は完全にソフトウェアにより制御されました。そのソフトウェアの信頼性を高めるために、NASAは先進的な静的解析を使用しました。
詳しく読む