Interruptsafe是一款中断数据竞争缺陷的检测工具，采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行高效、可靠分析，并支持多任务、多级中断（不同中断的优先级不同）。数据竞争检查系统是由研发团队经过长期技术积累并面向实际应用单位需求研发的一款专门针对C\C++代码数据竞争相关缺陷检测的商业化工具。该系统采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行高效、可靠分析，并支持多任务、多级中断（不同中断的优先级不同）。能够检测中断导致的数据访问冲突（也称数据竞争）、代码块的原子性违反等，可为软件开发人员与测试人员提供中断数据访问冲突的场景，并检查给定代码块的原子性是否被违反。
