InterrptSafe，一款中断数据竞争缺陷的检测工具，采用缺陷模式、抽象解释、过程间分析和指针分析等技术对中断引入的并发语义进行可靠性分析，为软件开发人员与测试人员提供中断数据访问冲突的场景，同时检查给定代码块的原子性是否被违反，避免由于中断问题导致程序崩溃等状况。该工具支持多任务与多级中断(不同中断的优先级不同)的检测，同时也支持中断导致的数据访问冲突(即数据竞争)和代码块的原子性违反等缺陷类型检测。
产品概述
产品优势
国产自主可控
由泛联新安静态分析专家团队多年技术研究与工程化实践研制打造，拥有完全自主知识产权，核心技术自主可控满足国产化与供应链安全要求。
精准检测结果
支持全局/局部中断开关，自动探测标志变量(互斥量)，自动分析指针别名、绝对地址访问，精准查找真实数据竞争。
优秀检测性能
5级中断、10,000行源代码，10秒以内可完成检测。
主流嵌入式平台与开发环境支持
全面支持DSP、MCU、CPU嵌入式硬件平台，以及麒麟、翼辉Sylixos、VxWorks、Linux等国内外主流操作系统的源工程项目，满足各类型软硬件平台上的中断检查需求。
产品功能
数据竞争检测
InterruptSafe运用控制流和数据流分析技术，进行精确的函数间/中断间的语义分析，能够自动检测中断程序可能的中断模式，并报告各中断模式下真正有害的数据访问冲突。
中断配置
InterrptSafe通过直观的引导方式进行中断检测信息配置，包括原子块设置、中断开关函数设置以及主任务和中断函数优先级设置等参数，有效提高检测精准度。
原子性违反检测
基于中断间过程分析技术，InterTuptSafe能够检测中断程序块在并发条件下的原子性，即程序块是否存在中断过程中的数据竞争，快速定位用户关心的问题中断代码块。
项目管理
InterruptSafe采用B/S架构，支持通过交互式界面管理待测试的中断程序项目。