InterruptSafe是一款中断数据竞争缺陷的检测工具，采用缺陷模式、抽象解释、过程间分析、指针分析等技术对中断引入的并发语义进行可靠性分析，并支持多任务、多级中断（不同中断的优先级不同）检测。支持中断导致的数据访问冲突（也称数据竞争）、代码块的原子性违反等缺陷检测，为软件开发人员与测试人员提供中断数据访问冲突的场景，并检查给定代码块的原子性是否被违反。