技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開了一種基于缺陷模式的程序靜態(tài)分析方法和工具，包括：預(yù)編輯程序的缺陷模式；遍歷文件，找到所需分析的文件；對源程序進行逐行掃描，去除無需分析的代碼；進行缺陷分析，調(diào)用該缺陷模式與去除代碼后的程序進行匹配，如果匹配成功，則說明該文件存在該缺陷。本發(fā)明的有益效果在于，本發(fā)明的一種基于缺陷模式的靜態(tài)分析方法和工具，可以實現(xiàn)應(yīng)用系統(tǒng)的兼容性檢查，對遷移前的準備做出指導(dǎo)，對應(yīng)用系統(tǒng)的自主可控遷移進行評估和指導(dǎo)。

技術(shù)研發(fā)人員：劉磊;何沁潔;孫淵博;常青;穆森
受保護的技術(shù)使用者：北京計算機技術(shù)及應(yīng)用研究所;北京航天愛威電子技術(shù)有限公司
技術(shù)研發(fā)日：2015.12.25
技術(shù)公布日：2017.07.04