[發(fā)明專利]過(guò)程間的空指針解引用檢測(cè)方法、系統(tǒng)、設(shè)備以及介質(zhì)

有效

• 申請(qǐng)?zhí)枺?/td>: 201811014686.4
• 申請(qǐng)日: 2018-08-31
• 公開（公告）號(hào): CN109426615B
• 公開（公告）日: 2022-01-28
• 發(fā)明（設(shè)計(jì)）人: 肖梟;時(shí)清凱;周金果;范剛
• 申請(qǐng)（專利權(quán)）人: 深圳市源傘新科技有限公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 北京博思佳知識(shí)產(chǎn)權(quán)代理有限公司 11415
• 代理人: 林祥

1.一種過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，包括：

對(duì)待檢測(cè)程序進(jìn)行預(yù)處理；

生成所述待檢測(cè)程序中的主調(diào)函數(shù)的符號(hào)表達(dá)式圖和被調(diào)函數(shù)的符號(hào)表達(dá)式圖，所述符號(hào)表達(dá)式圖包括值節(jié)點(diǎn)、運(yùn)算符節(jié)點(diǎn)，以及連接節(jié)點(diǎn)的數(shù)據(jù)依賴性邊和控制依賴性邊，其中，值節(jié)點(diǎn)包括終端值節(jié)點(diǎn)和非終端值節(jié)點(diǎn)，終端值節(jié)點(diǎn)表示當(dāng)前函數(shù)外生成的未知的值或常量，所述終端值節(jié)點(diǎn)包括當(dāng)前函數(shù)可訪問(wèn)的參數(shù)、全局變量和堆位置的值，非終端值節(jié)點(diǎn)表示當(dāng)前函數(shù)內(nèi)生成的值，并且每個(gè)非終端值與一個(gè)唯一的內(nèi)存地址相關(guān)聯(lián)，所述數(shù)據(jù)依賴性邊是將節(jié)點(diǎn)連接到與其有直接數(shù)據(jù)依賴關(guān)系的值節(jié)點(diǎn)的有向邊，所述控制依賴性邊是當(dāng)存在限定變量的條件時(shí)將變量連接到條件的所述有向邊，所述控制依賴性邊對(duì)應(yīng)的箭頭側(cè)的節(jié)點(diǎn)是運(yùn)算符節(jié)點(diǎn)；

根據(jù)所述被調(diào)函數(shù)的符號(hào)表達(dá)式圖對(duì)所述被調(diào)函數(shù)進(jìn)行過(guò)程內(nèi)分析，以檢測(cè)所述被調(diào)函數(shù)中的空指針以及生成所述被調(diào)函數(shù)的函數(shù)摘要；

將所述被調(diào)函數(shù)的所述函數(shù)摘要嵌入所述主調(diào)函數(shù)；

根據(jù)所述主調(diào)函數(shù)的符號(hào)表達(dá)式圖對(duì)所述主調(diào)函數(shù)進(jìn)行過(guò)程內(nèi)分析，以檢測(cè)所述主調(diào)函數(shù)中的空指針解引用。

2.根據(jù)權(quán)利要求1所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述函數(shù)摘要包括符號(hào)摘要、輸入摘要以及輸出摘要；所述將所述被調(diào)函數(shù)的所述函數(shù)摘要嵌入所述主調(diào)函數(shù)，還包括：

通過(guò)被嵌入后的所述輸入摘要獲得所述被調(diào)函數(shù)中的空指針解引用并生成第一錯(cuò)誤報(bào)告；

通過(guò)被嵌入后的所述輸出摘要獲得所述被調(diào)函數(shù)的輸出變量的空指針解引用并生成第二錯(cuò)誤報(bào)告；

所述符號(hào)摘要用于向所述主調(diào)函數(shù)傳遞實(shí)例化后的所述被調(diào)函數(shù)的所述輸出變量。

3.根據(jù)權(quán)利要求2所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述根據(jù)所述被調(diào)函數(shù)的符號(hào)表達(dá)式圖對(duì)所述被調(diào)函數(shù)進(jìn)行過(guò)程內(nèi)分析，以檢測(cè)所述被調(diào)函數(shù)中的空指針以及生成所述被調(diào)函數(shù)的函數(shù)摘要，具體包括以下步驟：

從空指針節(jié)點(diǎn)開始對(duì)所述被調(diào)函數(shù)的所述符號(hào)表達(dá)式圖向后進(jìn)行深度優(yōu)先遍歷，以獲得所述被調(diào)函數(shù)中的發(fā)生空指針解引用的第一變量；

根據(jù)所述第一變量生成空指針解引用錯(cuò)誤報(bào)告；

若所述第一變量的路徑約束中包括所述被調(diào)函數(shù)的輸入變量，則根據(jù)所述第一變量生成所述輸入摘要。

4.根據(jù)權(quán)利要求3所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述輸入摘要為一五元組其中：R為報(bào)告鍵值，I為輸入變量，C為路徑約束集，D為摘要描述，S為檢查特定信息。

5.根據(jù)權(quán)利要求2所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述根據(jù)所述被調(diào)函數(shù)的符號(hào)表達(dá)式圖對(duì)所述被調(diào)函數(shù)進(jìn)行過(guò)程內(nèi)分析，以檢測(cè)所述被調(diào)函數(shù)中的空指針以及生成所述被調(diào)函數(shù)的函數(shù)摘要，具體包括以下步驟：

根據(jù)所述被調(diào)函數(shù)的所述符號(hào)表達(dá)式圖獲得所述被調(diào)函數(shù)的輸出變量，以及所述輸出變量的路徑約束；

根據(jù)所述被調(diào)函數(shù)的所述輸出變量和所述輸出變量的所述路徑約束生成所述被調(diào)函數(shù)的符號(hào)摘要。

6.根據(jù)權(quán)利要求5所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述符號(hào)摘要為一三元組，其中：I為所述被調(diào)函數(shù)的輸入變量集合，O為所述被調(diào)函數(shù)的輸出變量集合，C為路徑約束集合。

7.根據(jù)權(quán)利要求2所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述根據(jù)所述被調(diào)函數(shù)的符號(hào)表達(dá)式圖對(duì)所述被調(diào)函數(shù)進(jìn)行過(guò)程內(nèi)分析，以檢測(cè)所述被調(diào)函數(shù)中的空指針以及生成所述被調(diào)函數(shù)的函數(shù)摘要，具體包括以下步驟：

根據(jù)所述輸出變量的路徑約束，判斷所述輸出變量是否存在發(fā)生空指針解引用的所述路徑約束：

若存在，則根據(jù)所述輸出變量和所述路徑約束生成所述被調(diào)函數(shù)的所述輸出摘要。

8.根據(jù)權(quán)利要求7所述的過(guò)程間的空指針解引用檢測(cè)方法，其特征在于，所述輸出摘要為一四元組，其中：I為一輸入變量，C為路徑約束集，D摘要描述，S為檢查特定信息。