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