[發明專利]基于函數調用圖的并行化安全漏洞檢測方法

無效

• 申請號: 201110417105.3
• 申請日: 2011-12-14
• 公開（公告）號: CN102567200A
• 公開（公告）日: 2012-07-11
• 發明（設計）人: 王雷;王剛;王歡;陳歸;李康
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F21/00
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.基于函數調用圖的并行化安全漏洞檢測方法，其特征在于：針對漏洞檢測過程中的狀態空間爆炸問題，通過分析被檢測的C程序模塊的特征，確定模塊內函數之間的調用關系并生成函數關系調用圖，從而查找到出度為零的函數(葉子節點)集合及其所在的C語言文件，然后利用預處理技術進行代碼插裝和斷言分析，最后利用模型檢測工具對葉子節點進行并行檢測。對葉子節點檢測完畢后，從函數關系調用圖刪除葉子節點，重新查找葉子節點，并重復代碼插裝、斷言分析和檢測過程，直到檢測完整個函數關系調用圖。

2.根據權利要求1所述的基于函數調用圖的并行化安全漏洞檢測方法中模塊函數調用關系圖的生成，其特征在于：利用GCC寄存器傳遞語言(RTL)的特征，以函數為單位確定函數的調用關系，生成函數關系調用圖，同時根據追蹤過程記錄下每個函數所在的C語言文件。

3.根據權利要求1和2所述的基于函數調用圖的并行化安全漏洞檢測方法中分析調度模塊，其特征在于：根據函數關系調用圖里所示的內容，找到葉子節點(它是被檢測C語言模塊中某個C語言文件里的一個被定義的函數，它被待檢測模塊里的其他函數所調用，但本身并不調用任何待檢測模塊里的其他函數)，并將葉子節點集合以及葉子節點所在的C語言文件分別存放在相應的數據結構中。

4.根據權利要求1所述的基于函數調用圖的并行化安全漏洞檢測方法中預處理模塊，其特征在于：通過標準的編譯器前端分析，將針對指針、數組的定義、指針引用、數組訪問以及危險函數的調用等都添加了緩沖區屬性約束的更新與斷言信息，如果屬性斷言或屬性性質不成立那么程序流會到達錯誤標簽，從而檢測出一個安全漏洞，包含assert斷言的待檢測C語言文件中每個文件都是可以編譯的，并且只包含一個激活的待檢測assert斷言。

5.根據權利要求1所述的基于函數調用圖的并行化安全漏洞檢測方法中并行調度模塊，其特征在于：利用模型檢測工具BLAST對預處理后的C語言文件進行檢測，由于各葉子節點的相關性較小或者沒有相關性的特征，我們使用并行化技術對這些待檢測的文件進行模型檢測充分利用了多核資源，可以更加快速有效地達到漏洞檢測的效果。