軟件源代碼缺陷深度分析平臺(tái)新一代軟件源代碼缺陷深度分析平臺(tái)，源自清華大學(xué)與國(guó)防科技大學(xué)研究團(tuán)隊(duì)多年對(duì)代碼靜態(tài)分析技術(shù)的理論深耕，結(jié)合軟件工程實(shí)踐研發(fā)而成，具有良好的語(yǔ)言擴(kuò)充性、規(guī)則完備性、開發(fā)環(huán)境可集