ソフトウェア開発支援
IR情報 会社情報

ソフトウェア静的解析

  • C言語用ソースコード静的解析ツール QA・C
    1

    C言語用ソースコード静的解析ツール QA・C
    Programming Research Ltd.

    QA·C は、C言語ソースコード用の静的解析ツールです。
    プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。

  • MISRA-Cコンプライアンスモジュール QA・MISRA for C
    1

    MISRA-Cコンプライアンスモジュール QA・MISRA for C
    Programming Research Ltd.

    QA·MISRA (MISRA-Cコンプライアンスモジュール)は、自動車関連企業をはじめとする多くのお客様に採用されているQA·Cにアドオンして使用するオプションソフトウェア(有償)です。
    MISRA-Cコーディング規約に適合しているかどうかを評価し、規約に違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • CERT-Cコンプライアンスモジュール
    1

    CERT-Cコンプライアンスモジュール
    Programming Research Ltd.

    CERT-Cコンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·Cにアドオンして使用するオプションソフトウェア(有償)です。

    C言語のセキュアコーディング規格であるCERT-Cに対するソースコードの適合度を自動で評価します。
     

  • CWE-Cコンプライアンスモジュール
    1

    CWE-Cコンプライアンスモジュール
    Programming Research Ltd.

    CWE-Cコンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·Cにアドオンして使用するオプションソフトウェア(有償)です。

    CWE(共通脆弱性タイプ一覧)対応ツールとして認証されているおり、CWEタイプに属するソースコードの脆弱性を検出し、開発者がセキュアなソースコードを書く支援をします。

  • C++言語用ソースコード静的解析ツール QA・C++
    1

    C++言語用ソースコード静的解析ツール QA・C++
    Programming Research Ltd.

    QA·C++は、C++言語ソースコード用の静的解析ツールです。
    プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。

  • MISRA-C++コンプライアンスモジュール QA・MISRA for C++
    1

    MISRA-C++コンプライアンスモジュール QA・MISRA for C++
    Programming Research Ltd.

    QA·MISRA (MISRA-C++コンプライアンスモジュール)は、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。
    MISRA-C++コーディング規約に適合しているかどうかを評価し、規約に違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • CERT-C++コンプライアンスモジュール
    1

    CERT-C++コンプライアンスモジュール
    Programming Research Ltd.

    CERT-C++コンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。

    C++言語のセキュアコーディング規格であるCERT-C++に対するソースコードの適合度を自動で評価します。
     

  • AUTOSAR C++コンプライアンスモジュール
    1

    AUTOSAR C++コンプライアンスモジュール
    Programming Research Ltd.

    AUTOSAR C++コンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。

    ソースコードがAUTOSAR C++コーディングガイドラインに適合しているかどうかを評価し、ガイドラインに違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • ソースコードレビュー支援ツール QA・Verify
    1

    ソースコードレビュー支援ツール QA・Verify
    Programming Research Ltd.

    QA・Verifyは静的解析したソースコードの情報をWebベースで共有し、コードレビューを支援するためのツールです。

  • IEC 61508認証支援用セーフティマニュアル
    1

    IEC 61508認証支援用セーフティマニュアル
    Programming Research Ltd.

    IEC 61508認証支援用のセーフティマニュアルです。 IEC 61508 Part 3に準拠したソフトウェア開発を行う上でのQA・C/C++とMISRA-C/C++コンプライアンスモジュールの使用方法とツールがサポートできる範囲を説明したドキュメントです。

  • ISO 26262認証支援用セーフティマニュアル
    1

    ISO 26262認証支援用セーフティマニュアル
    Programming Research Ltd.

    ISO 26262認証支援用のセーフティマニュアルです。 ISO 26262 Part 6に準拠したソフトウェア開発を行う上でのQA・C/C++とMISRA-C/C++コンプライアンスモジュールの使用方法とツールがサポートできる範囲を説明したドキュメントです。

PAGE TOP