Interruptsafe是一款中斷數據競爭缺陷的檢測工具，采用缺陷模式、抽象解釋、過程間分析、指針分析等技術對中斷引入的并發語義進行高效、可靠分析，并支持多任務、多級中斷（不同中斷的優先級不同）。數據競爭檢查系統是由研發團隊經過長期技術積累并面向實際應用單位需求研發的一款專門針對C\C++代碼數據競爭相關缺陷檢測的商業化工具。該系統采用缺陷模式、抽象解釋、過程間分析、指針分析等技術對中斷引入的并發語義進行高效、可靠分析，并支持多任務、多級中斷（不同中斷的優先級不同）。能夠檢測中斷導致的數據訪問沖突（也稱數據競爭）、代碼塊的原子性違反等，可為軟件開發人員與測試人員提供中斷數據訪問沖突的場景，并檢查給定代碼塊的原子性是否被違反。
