1.一種基于正則表達式的程序靜態(tài)分析方法,其特征為:根據(jù)待評價程序的結(jié)構(gòu)和編碼規(guī)則,建立提取關鍵信息的正則表達式分析規(guī)則,從提取到的關鍵信息數(shù)據(jù)庫中,得到不符合待評價程序結(jié)構(gòu)和編碼規(guī)則的項目。
2.根據(jù)權利要求1所述的一種基于正則表達式的程序靜態(tài)分析方法,其特征為所述的方法包括如下步驟:
步驟一,確定待評價程序需要分析的關鍵信息;
步驟二,根據(jù)待評價程序的結(jié)構(gòu)和編碼規(guī)則,建立提取關鍵信息的正則表達式分析規(guī)則,構(gòu)成正則表達式分析規(guī)則庫;
步驟三,根據(jù)正則表達式分析規(guī)則庫,提取待評價程序的關鍵信息,得到關鍵信息的數(shù)據(jù)字典和關鍵信息數(shù)據(jù)庫;
步驟四,從關鍵信息數(shù)據(jù)庫中提取不符合待評價程序的結(jié)構(gòu)和編碼規(guī)則的項目,并生成不符合項分析報告。
3.根據(jù)權利要求2所述的一種基于正則表達式的程序靜態(tài)分析方法,其特征為:待評價程序的關鍵信息包括函數(shù)名、局部變量、全局變量、返回值、函數(shù)中使用的數(shù)據(jù)結(jié)構(gòu)和當前函數(shù)調(diào)用的其他函數(shù)名。
4.根據(jù)權利要求2所述的一種基于正則表達式的程序靜態(tài)分析方法,其特征為:根據(jù)步驟三中得到的關鍵信息數(shù)據(jù)字典和關鍵信息數(shù)據(jù)庫,和事先規(guī)定的設計文檔模版,生成得到程序?qū)脑O計文檔。
5.根據(jù)權利要求2所述的一種基于正則表達式的程序靜態(tài)分析方法,其特征為:根據(jù)正則表達式分析規(guī)則庫,提取待評價程序的關 鍵信息時,還統(tǒng)計了每個函數(shù)和數(shù)據(jù)結(jié)構(gòu)的調(diào)用頻次。