[發(fā)明專利]程序的代碼審核方法和裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201210271493.3
• 申請(qǐng)日: 2012-07-31
• 公開（公告）號(hào): CN103577758A
• 公開（公告）日: 2014-02-12
• 發(fā)明（設(shè)計(jì)）人: 汪濤
• 申請(qǐng)（專利權(quán)）人: 西門子公司
• 主分類號(hào): G06F21/57
• 分類號(hào): G06F21/57
• 代理公司: 北京康信知識(shí)產(chǎn)權(quán)代理有限責(zé)任公司 11240
• 代理人: 李慧

1.一種利用漏洞模型審核程序代碼的方法，該方法包括：

對(duì)程序的源代碼進(jìn)行掃描，當(dāng)在掃描到功能函數(shù)時(shí)，確定所述功能函數(shù)的輸入?yún)?shù)是否被傳遞到漏洞模型定義的危險(xiǎn)函數(shù)，和所述輸入?yún)?shù)從所述功能函數(shù)傳遞到所述危險(xiǎn)函數(shù)的路徑上是否缺少漏洞模型中定義的檢查函數(shù)；在確定所述功能函數(shù)的輸入?yún)?shù)被傳遞到漏洞模型定義的危險(xiǎn)函數(shù)，并且所述輸入?yún)?shù)從所述功能函數(shù)傳遞到所述危險(xiǎn)函數(shù)的路徑上缺少漏洞模型中定義的檢查函數(shù)時(shí)，將所述功能函數(shù)作為新的危險(xiǎn)函數(shù)加入到漏洞模型中，并確定檢測(cè)到安全漏洞；所述漏洞模型中至少包含被掃描代碼的危險(xiǎn)函數(shù)和檢查函數(shù)的定義信息。

2.如權(quán)利要求1所述的方法，該方法進(jìn)一步包括：

在掃描到檢查函數(shù)時(shí)，根據(jù)記錄在漏洞模型中該檢查函數(shù)輸入值的屬性信息，確定經(jīng)過該檢查函數(shù)的安全檢查后的輸入?yún)?shù)是否安全；

在確定輸入?yún)?shù)不安全并且該不安全的輸入?yún)?shù)被傳遞到漏洞模型定義的危險(xiǎn)函數(shù)時(shí)，確定檢測(cè)到安全漏洞。

3.如權(quán)利要求1所述的方法，該方法進(jìn)一步包括：

在掃描到一個(gè)檢查函數(shù)時(shí)，根據(jù)記錄在漏洞模型中的該檢查函數(shù)返回值的屬性信息，確定該檢查函數(shù)的返回參數(shù)是否安全；

在確定返回參數(shù)不安全并且該返回參數(shù)傳遞到漏洞模型定義的危險(xiǎn)函數(shù)時(shí)，確定檢測(cè)到安全漏洞。

4.如權(quán)利要求1或2或3所述的方法，在對(duì)程序的源代碼進(jìn)行掃描之前，該方法進(jìn)一步包括：

讀取漏洞模型中使用父類定義的源函數(shù)，在源代碼中查找該父類的子類的函數(shù)，并將查找到的函數(shù)確定為代碼掃描的起始點(diǎn)；和/或，

讀取漏洞模型中使用接口定義的源函數(shù)，在源代碼中查找使用該接口的類的函數(shù)，并將查找到的函數(shù)確定為代碼掃描的起始點(diǎn)；所述源函數(shù)為接收程序外部的輸入?yún)?shù)的函數(shù)。

5.如權(quán)利要求1或2或3所述的方法，在將所述功能函數(shù)作為新的危險(xiǎn)函數(shù)加入到漏洞模型中時(shí)，該方法進(jìn)一步包括：

將輸入?yún)?shù)從所述功能函數(shù)傳遞到所述危險(xiǎn)函數(shù)的所述路徑上除所述功能函數(shù)之外的第一個(gè)函數(shù)的信息，作為新的危險(xiǎn)函數(shù)的根原因?qū)傩孕畔⒂涗浽诼┒茨Ｐ椭校杂糜诎踩┒吹脑蚨ㄎ环治觥?/p>

6.一種利用漏洞模型審查程序代碼的方法，該方法包括：

對(duì)程序的源代碼進(jìn)行掃描，在掃描到檢查函數(shù)時(shí)：

根據(jù)預(yù)先定義在漏洞模型中該檢查函數(shù)輸入值的屬性信息，確定經(jīng)過該檢查函數(shù)的安全檢查后的輸入?yún)?shù)是否安全；在確定輸入?yún)?shù)不安全并且該不安全的輸入?yún)?shù)被傳遞到漏洞模型定義的危險(xiǎn)函數(shù)時(shí)，確定檢測(cè)到安全漏洞；所述漏洞模型中至少包含被掃描代碼的檢查函數(shù)的定義信息；和/或，

根據(jù)預(yù)先定義在漏洞模型中該檢查函數(shù)返回值的屬性信息，確定經(jīng)過該檢查函數(shù)的返回參數(shù)是否安全；在確定返回參數(shù)不安全并且該返回參數(shù)被傳遞到漏洞模型定義的危險(xiǎn)函數(shù)時(shí)，確定檢測(cè)到安全漏洞；所述漏洞模型中至少包含被掃描代碼的檢查函數(shù)的定義信息。

7.如權(quán)利要求6所述的方法，在對(duì)程序的源代碼進(jìn)行掃描之前，該方法進(jìn)一步包括：

讀取漏洞模型中使用父類定義的源函數(shù)，在源代碼中查找該父類的子類的函數(shù)，并將查找到的函數(shù)確定為代碼掃描的起始點(diǎn)；和/或，

讀取漏洞模型中使用接口定義的源函數(shù)，在源代碼中查找使用該接口的類的函數(shù)，并將查找到的函數(shù)確定為代碼掃描的起始點(diǎn)；所述源函數(shù)為接收程序外部的輸入?yún)?shù)的函數(shù)。

8.一種用于程序代碼審核的漏洞模型的生成方法，該方法包括：

在漏洞模型中使用父類定義源函數(shù)，以在代碼審核過程中使用該父類的子類的函數(shù)作為代碼掃描的起始點(diǎn)；和/或，在漏洞模型中使用接口定義源函數(shù)，以在代碼審核過程中使用該接口的類的函數(shù)作為代碼掃描的起始點(diǎn)。