ニューヨーク州ノースポートとニューヨーク– 2019年6月26日 – ソフトウェア脆弱性の発見、優先順位付け、リスク管理を自動化および加速する受賞歴のあるアプリケーションセキュリティ管理ソリューションのプロバイダーであるCode Dx、Inc.は本日、AdaCoreとのパートナーシップを発表しました。Ada、C、およびC ++プログラミング言語用のソフトウェア開発および検証ツールの信頼できるプロバイダー。
このパートナーシップにより、Code Dx EnterpriseはAdaCoreのCodePeer高度な静的解析ツール、自動Adaコードレビュアーおよびバリデーターをサポートするようになりました。このソリューションは、複数のアプリケーションセキュリティテスト（AST）ツールの結果を表示する1つの中心的な場所を開発者に提供し、修復の脆弱性に簡単に優先順位を付けることができます。開発者は、スキャン結果を毎回ダウンロードしてからアップロードすることなく、AdaCoreのCodePeerからCode Dx Enterpriseに結果を自動的にプルできます。ユーザーはCode Dx Enterpriseを開くだけで、最新の結果が表示されます。
「AdaCoreは、航空宇宙および防衛、鉄道、宇宙、自動車、および高信頼性ソフトウェアの開発に複雑な要件があるその他の業界で高く評価されています」とCode Dx、IncのCEOであるAnita D’Amico博士は述べています。国土安全保障省のバックグラウンドと他の政府機関との仕事で、私たちは安全で、安全で、信頼できるソフトウェアの開発を可能にするという非常に似た使命を持っています。」
Code Dx Enterpriseは、静的、動的、および対話型ツールを含む70を超える商用AST ツールおよび技術をサポートおよび統合します。サードパーティのコンポーネントアナライザー。総合的なソフトウェアアプリケーションの脆弱性の相関と管理を提供するための手動レビュー。
「Code Dx Enterpriseを通じて、CodePeerユーザーは、結果を保存する中心的な場所と、主要な指標を視覚化するダッシュボードを使用できます」と、AdaCoreのコマーシャルディレクター、Jamie Ayre氏は述べています。「また、このツールは、ユーザーの皆様がより簡単にテストと修復プロセスで協力して、時間をかけて調査結果を追跡することができます。同じアプリケーション内で多言語ソフトウェアを開発しているCodePeerユーザー向けに、Code Dx Enterpriseは、すべてのASTアクティビティを管理する単一のリポジトリを提供します。」
AdaCoreについて
1994年に設立されたAdaCoreは、ミッションクリティカルなシステム、セーフティクリティカルなシステム、セキュリティクリティカルなシステム向けのソフトウェア開発および検証ツールを提供しています。4つの主力製品が同社の製品を強調しています。
- GNAT Proの開発環境、設計、実装、高い信頼性と保守性を必要とするアプリケーションを管理するための完全なツールセット。GNAT Proは、AdaおよびCおよびC ++で使用できます。
- CWE互換 CodePeer高度な静的解析ツール。自動Adaコードレビュアーおよび検証ツールであり、開発中および既存のソフトウェアで遡及的にエラーを検出および排除できます。CodePeerは、MITRE CorporationのCommon Weakness Enumeration（CWE）で多くの「最も危険なソフトウェアエラーの上位25」を検出できます。
- CWE互換の SPARK Pro検証環境。正式な方法に基づいたツールセットであり、高保証システム向けです。
- QGenの安全のSimulinkのサブセットについてqualifiableとカスタマイズコードジェネレータと静的検証を提供するセーフティクリティカル制御システムのためのモデルベース開発ツールスイート® とのStateflow ® モデル、およびモデル・レベル・デバッガ。
長年にわたり、顧客はAdaCore製品を使用して、商用および軍用アビオニクス、自動車、鉄道、宇宙、防衛システム、航空交通管理/制御、医療機器、金融サービスなどの分野で幅広い重要なアプリケーションをフィールド化および維持してきました。AdaCoreには、世界中で広く成長している顧客ベースがあります。詳細については、www.adacore.com / industries /を参照して ください。
AdaCore製品はオープンソースであり、開発者自身が提供する専門的なオンラインサポートが付属しています。同社は、ニューヨークに北米本部、パリにヨーロッパ本部を持っています。 www.adacore.com/
Code DxについてCode Dx
、Inc.は、ソフトウェア脆弱性の発見、優先順位付け、およびリスク管理を自動化および加速する、受賞歴のあるアプリケーションセキュリティ管理ソリューションを提供します。Code Dx Enterpriseソリューションは、アプリケーションセキュリティテスト（AST）ツールを調整し、結果を単一のビューに統合して迅速かつ簡単な優先順位付けと修復を行い、AppSecチームのプロセスと進捗を追跡するためのレポートとAppSecメトリックを提供します。コアテクノロジーの一部は、国土安全保障科学技術省（DHS S＆T）によって資金提供され、国のソフトウェアサプライチェーンの保護に役立っています。詳細については、Code Dx（631）759-3993またはInfo@CodeDx.comにお問い合わせください。
ここで参照されるすべての商標、商品名、サービスマーク、およびロゴは、それぞれの当事者に属します。