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

基本信息

申請(qǐng)?zhí)?/td> CN201811014686.4 申請(qǐng)日 -
公開（公告）號(hào) CN109426615A 公開（公告）日 2022-01-28
申請(qǐng)公布號(hào) CN109426615A 申請(qǐng)公布日 2022-01-28
分類號(hào) G06F11/36 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 肖梟;時(shí)清凱;周金果;范剛;張川 申請(qǐng)（專利權(quán)）人 深圳市源傘新科技有限公司
代理機(jī)構(gòu) 北京律智知識(shí)產(chǎn)權(quán)代理有限公司 代理人 袁禮君;闞梓瑄
地址 518055 廣東省深圳市南山區(qū)西麗街道西麗中山園路1001號(hào)TCL國(guó)際E城C7-C棟201
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種過(guò)程間的空指針解引用檢測(cè)方法、系統(tǒng)、設(shè)備以及介質(zhì)，包括以下步驟：對(duì)待檢測(cè)程序進(jìn)行預(yù)處理；生成所述待檢測(cè)程序中的主調(diào)函數(shù)和被調(diào)函數(shù)的符號(hào)表達(dá)式圖，根據(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ù)中的空指針解引用。