InterruptSafe
采用缺陷模式、抽象解释、过程间分析和指针分析等技术对中断引入的并发语义进行可靠性分析，并支持多任务与多级中断（不同中断的优先级不同）的检测、同时也支持中断导致的数据访问冲突（即数据竞争）和代码块的原子性违反等缺陷类型检测，为软件开发人员与测试人员提供中断数据访问冲突的场景，同时检查给定代码块的原子性是否被违反，避免由于中断问题导致程序崩溃等问题。
多项目部署，网络和接口协议灵活配置
多项目部署，网络和接口协议灵活配置
InterruptSafe中断缺陷检测工具能够有效检测在中断驱动型程序中，任务与中断的并发交叠以及中断触发的不可预测性增加程序运行时的时序复杂性，易导致数据竞争、原子性违背和死锁等并发错误。
同类型工具的差异化优势
-
主流嵌入式平台与开发环境支持
全面支持DSP、MCU、CPU嵌入式硬件平台；麒麟、翼辉、VxWorks、Linux、Sylixos等国内外软件开发环境，满足各类型软硬件平台上的中断检查需求。
-
可视化结果展示
图形化方式直观展示配置信息和检查结果，轻松定位缺陷信息。
-
国产自主的测试环境
自主可控的科研测试环境是保障研发工作平稳持续推进和国家核心机密安全受控的重中之重，InterruptSafe拥有完全自主的知识产权，采用B/S云架构能够完善构造国产自主可控的测试环境，积极响应各种定制化需求。
-
精确的检测结果
支持全局/局部中断开关，自动探测标志变量（互斥量），自动分析指针别名、绝对地址访问，精准查找真实数据竞争。
InterruptSafe（中断缺陷检测工具平台）白皮书
白皮书下载