バージョンアップ情報のお知らせ(SharedVariableChecker2)
平素より弊社製品をご愛顧頂きまして誠にありがとうございます。
以下製品のバージョンアップを実施致しました。
バージョンアップ情報
【製品名 】 SharedVariableChecker2
【製品バージョン】 V4.1
【リリース日 】 2024年04月14日
バージョンアップ内容
機能追加
・デッドロックの可能性を解析する機能を追加
-セマフォによるコア間競合変数の排他制御において、デッドロックの可能性のあるアクセスを検出できるようになりました。
・タスク間、マルチコア間の変数競合の解析精度を向上させる機能を追加
-タスク間の変数競合、およびマルチコア間の変数競合の可能性における指摘C、D、Fにおいて、条件分岐を考慮した指摘を出力できるようになりました。