[發明專利]代碼的靜態檢測方法和裝置

有效

• 申請號: 202011496871.9
• 申請日: 2020-12-17
• 公開（公告）號: CN112527660B
• 公開（公告）日: 2022-11-22
• 發明（設計）人: 凡志明;莊劼;韓俊波
• 申請（專利權）人: 展訊通信（上海）有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 張娜;臧建明

1.一種代碼的靜態檢測方法，其特征在于，包括：

在對軟件系統中的至少兩個工程對應的代碼進行編譯時，檢測是否存在新的對象；其中，所述新的對象為新的外部聲明和/或新的原型聲明，所述聲明包括全局變量和/或函數；

若存在所述新的對象，則在數據庫中檢索是否存在與新的全局變量的變量名相同的原型聲明，和/或，與新的函數的函數名相同的原型聲明，所述數據庫中存儲有所述至少兩個工程對應的已編譯代碼中的原型聲明；

若存在，則輸出與所述新的全局變量的變量名相同的原型聲明和/或與所述新的函數的函數名相同的原型聲明；

所述聲明為全局變量，所述方法還包括：

判斷所述新的全局變量的變量類型和所述數據庫中與所述新的全局變量相同的原型聲明的變量類型是否相同；

若變量類型相同，則輸出第一提示信息，所述第一提示信息用于提醒用戶已調用其他工程的全局變量；

若變量類型不同，則輸出第二提示信息，所述第二提示信息用于提醒用戶重新定義所述新的全局變量；

所述對象為函數，判斷所述新的函數的參數類型和返回類型，分別和所述數據庫中與所述新的函數的函數名相同的原型聲明的參數類型和返回類型是否相同；

若參數類型和返回類型均相同，則輸出第三提示信息，所述第三提示信息用于提醒用戶已調用其他工程的函數；

若參數類型和/或返回類型不同，則輸出第四提示信息，所述第四提示信息用于提醒用戶重新定義所述新的函數。

2.根據權利要求1所述的方法，其特征在于，所述方法還包括：

若所述數據庫中不存在與所述新的全局變量的變量名相同的原型聲明，則將所述新的全局變量存儲在所述數據庫中；和/或，

若所述數據庫中不存在與所述新的函數的函數名相同的原型聲明，則將所述新的函數存儲在所述數據庫中。

3.根據權利要求1或2所述的方法，其特征在于，所述在對軟件系統中的至少兩個工程對應的代碼進行編譯時，檢測是否存在新的對象，包括：

判斷對所述至少兩個工程對應的代碼是否執行過編譯操作；

若對所述至少兩個工程對應的代碼已執行過編譯操作，則檢測是否存在所述新的對象。

4.根據權利要求3所述的方法，其特征在于，所述方法還包括：

若對所述至少兩個工程對應的代碼未執行過編譯操作，則對所述至少兩個工程對應的代碼進行編譯，并獲取所述至少兩個工程對應的代碼中的原型聲明；

將所述至少兩個工程對應的代碼中的原型聲明存儲在所述數據庫中。

5.一種代碼的靜態檢測裝置，其特征在于，包括：

處理單元，用于在對軟件系統中的至少兩個工程對應的代碼進行編譯時，檢測是否存在新的對象；其中，所述新的對象為新的外部聲明和/或新的原型聲明，所述聲明包括全局變量和/或函數；

所述處理單元，還用于若存在所述新的對象，則在數據庫中檢索是否存在與新的全局變量的變量名相同的原型聲明，和/或，與新的函數的函數名相同的原型聲明，所述數據庫中存儲有所述至少兩個工程對應的已編譯代碼中的原型聲明；

輸出單元，用于若存在，則輸出與所述新的全局變量的變量名相同的原型聲明和/或與所述新的函數的函數名相同的原型聲明；

所述聲明為全局變量；

存儲單元，用于判斷所述新的全局變量的變量類型和所述數據庫中與所述新的全局變量相同的原型聲明的變量類型是否相同；

所述輸出單元，還用于若變量類型相同，則輸出第一提示信息，所述第一提示信息用于提醒用戶已調用其他工程的全局變量；若變量類型不同，則輸出第二提示信息，所述第二提示信息用于提醒用戶重新定義所述新的全局變量；

所述對象為函數；

所述處理單元，還用于判斷所述新的函數的參數類型和返回類型，分別和所述數據庫中與所述新的函數的函數名相同的原型聲明的參數類型和返回類型是否相同；

所述輸出單元，還用于若參數類型和返回類型均相同，則輸出第三提示信息，所述第三提示信息用于提醒用戶已調用其他工程的函數；若參數類型和/或返回類型不同，則輸出第四提示信息，所述第四提示信息用于提醒用戶重新定義所述新的函數。