[發(fā)明專利]對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法及終端設(shè)備

有效

• 申請(qǐng)?zhí)枺?/td>: 201910111337.2
• 申請(qǐng)日: 2019-02-12
• 公開（公告）號(hào): CN109885491B
• 公開（公告）日: 2022-07-05
• 發(fā)明（設(shè)計(jì)）人: 洪開慧;張蓬勃;胡欣
• 申請(qǐng)（專利權(quán)）人: 科華恒盛股份有限公司;漳州科華技術(shù)有限責(zé)任公司
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 石家莊國為知識(shí)產(chǎn)權(quán)事務(wù)所 13120
• 代理人: 祁靜

1.一種對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法，其特征在于，包括：

根據(jù)待檢測(cè)文件夾路徑，獲取待檢測(cè)文件列表；

讀取所述文件列表中的待檢測(cè)程序文件，獲取所述待檢測(cè)程序文件的內(nèi)容；

根據(jù)Python正則表達(dá)式定義的減法表達(dá)式、被減數(shù)、減數(shù)，逐行匹配所述待檢測(cè)程序文件的內(nèi)容中的減法表達(dá)式以及所述減法表達(dá)式中的被減數(shù)和減數(shù)，包括：檢測(cè)當(dāng)前一行的內(nèi)容中是否有與Python正則表達(dá)式定義的減法表達(dá)式、被減數(shù)、減數(shù)相匹配的表達(dá)式；

當(dāng)定義的所述減法表達(dá)式、所述被減數(shù)、所述減數(shù)與所述待檢測(cè)程序文件中的第一減法表達(dá)式相匹配時(shí)，記錄并保存第一結(jié)果文件，所述第一結(jié)果文件包括所述第一減法表達(dá)式、所述第一減法表達(dá)式對(duì)應(yīng)的第一被減數(shù)、所述第一減法表達(dá)式對(duì)應(yīng)的第一減數(shù)、所述第一減法表達(dá)式的位置；

根據(jù)Python正則表達(dá)式定義的變量定義表達(dá)式、變量定義表達(dá)式中的數(shù)據(jù)類型名和變量名，逐行匹配第一程序文件中變量聲明定義的所述變量定義表達(dá)式以及所述變量定義表達(dá)式中的數(shù)據(jù)類型名和變量名；

當(dāng)所述變量名與所述第一結(jié)果文件中的所述第一被減數(shù)相同時(shí)，確定所述第一程序文件中的被減數(shù)的數(shù)據(jù)類型與該變量的數(shù)據(jù)類型一致，同時(shí)保留無符號(hào)數(shù)據(jù)類型的被減數(shù)，確定為第二被減數(shù)；所述第一結(jié)果文件中的第一減數(shù)，確定為第二減數(shù)；

根據(jù)所述第一結(jié)果文件、所述第二被減數(shù)、所述第二減數(shù)，確定并保存第二結(jié)果文件，所述第二結(jié)果文件包括所述第二被減數(shù)、所述第二減數(shù)、所述第二被減數(shù)對(duì)應(yīng)的第二減法表達(dá)式、所述第二減法表達(dá)式的位置。

2.如權(quán)利要求1所述的對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法，其特征在于，在所述確定并保存第二結(jié)果文件之后，還包括：

根據(jù)Python正則表達(dá)式定義的比較表達(dá)式、比較表達(dá)式的左值、比較表達(dá)式的右值，逐行匹配第二程序文件中的所有比較表達(dá)式以及比較表達(dá)式的左值和右值；

當(dāng)所述定義的比較表達(dá)式的左值與所述第二結(jié)果文件的所述第二被減數(shù)相同，比較表達(dá)式的右值與所述第二結(jié)果文件的所述第二減數(shù)相同時(shí)，確定所述第二程序文件中的第一比較表達(dá)式為已做防溢出處理的比較表達(dá)式，保存所述第一比較表達(dá)式；

根據(jù)所述第二結(jié)果文件、所述第一比較表達(dá)式，確定并保存第三結(jié)果文件。

3.如權(quán)利要求2所述的對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法，其特征在于，所述根據(jù)所述第二結(jié)果文件、所述第一比較表達(dá)式，確定并保存第三結(jié)果文件，包括：

確定所述第一比較表達(dá)式中左值為被減數(shù)；

刪除所述第二結(jié)果文件中的第三減法表達(dá)式，確定所述第二結(jié)果文件中剩余的減法表達(dá)式為存在數(shù)據(jù)溢出的表達(dá)式，所述第三減法表達(dá)式為所述第一比較表達(dá)式中被減數(shù)對(duì)應(yīng)的減法表達(dá)式；

保存第三結(jié)果文件，所述第三結(jié)果文件包括存在數(shù)據(jù)溢出的表達(dá)式、所述存在數(shù)據(jù)溢出的表達(dá)式的位置。

4.如權(quán)利要求3所述的對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法，其特征在于，所述讀取所述文件列表中的待檢測(cè)程序文件，獲取所述待檢測(cè)程序文件的內(nèi)容，包括：

讀取所述文件列表中的待檢測(cè)程序文件；

判斷所述待檢測(cè)程序文件是否為所述文件列表中的最后一個(gè)程序文件；

若所述待檢測(cè)程序文件不是所述文件列表中的最后一個(gè)程序文件時(shí)，打開所述待檢測(cè)程序文件，并獲取所述待檢測(cè)程序文件的總行數(shù)；

判斷當(dāng)前檢測(cè)的位置是否為所述待檢測(cè)程序文件的最后一行；

若當(dāng)前檢測(cè)的位置不是所述待檢測(cè)程序文件的最后一行時(shí)，獲取當(dāng)前檢測(cè)行數(shù)的內(nèi)容。

5.如權(quán)利要求4所述的對(duì)存在數(shù)據(jù)溢出表達(dá)式的檢測(cè)方法，其特征在于，

所述第一減法表達(dá)式的位置包括：所述第一減法表達(dá)式所在的第一程序文件名稱、所述第一減法表達(dá)式在第一程序文件中所在的行數(shù)；

所述第二減法表達(dá)式的位置包括：所述第二減法表達(dá)式所在的第二程序文件名稱、所述第二減法表達(dá)式在第二程序文件中所在的行數(shù)；

所述存在數(shù)據(jù)溢出的表達(dá)式的位置包括：所述存在數(shù)據(jù)溢出的表達(dá)式對(duì)應(yīng)的第三程序文件名稱、所述存在數(shù)據(jù)溢出的表達(dá)式在第三程序文件名中的行數(shù)；

所述待檢測(cè)程序文件包括所述第一程序文件、所述第二程序文件、所述第三程序文件。