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