[發(fā)明專利]計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)

無效

• 申請(qǐng)?zhí)枺?/td>: 201010513779.9
• 申請(qǐng)日: 2010-10-21
• 公開（公告）號(hào): CN101968766A
• 公開（公告）日: 2011-02-09
• 發(fā)明（設(shè)計(jì)）人: 張若愚;王卓;周侃;黃實(shí)秋;黃山
• 申請(qǐng)（專利權(quán)）人: 上海交通大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 上海交達(dá)專利事務(wù)所 31201
• 代理人: 王錫麟;王桂忠

1.一種計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)，其特征在于，包括：二進(jìn)制代碼動(dòng)態(tài)插入模塊、程序基本塊識(shí)別模塊、函數(shù)調(diào)用圖構(gòu)建模塊、控制流圖構(gòu)建模塊、函數(shù)識(shí)別模塊、靜態(tài)分析模塊；二進(jìn)制代碼動(dòng)態(tài)插入模塊將用戶自定義的分析代碼插入程序的任意位置，并跟蹤程序調(diào)用的系統(tǒng)API，最后將分析結(jié)果通過自定義程序分析文件提供的回調(diào)函數(shù)返回并傳遞給程序基本塊識(shí)別模塊；程序基本塊識(shí)別模塊根據(jù)二進(jìn)制代碼動(dòng)態(tài)插入模塊傳遞的分析結(jié)果將目標(biāo)程序按基本塊規(guī)則劃分，并將劃分的基本塊集合傳遞給函數(shù)調(diào)用圖構(gòu)建模塊和控制流圖構(gòu)建模塊；函數(shù)調(diào)用圖構(gòu)建模塊對(duì)基本塊識(shí)別模塊傳遞過來的基本塊集合進(jìn)行處理，得到基本的函數(shù)塊集合，并將此函數(shù)塊集合傳遞給函數(shù)識(shí)別模塊，根據(jù)返回的函數(shù)行為特征得到函數(shù)之間的相互調(diào)用關(guān)系，以此構(gòu)建函數(shù)調(diào)用圖，并將函數(shù)調(diào)用信息傳遞給控制流圖構(gòu)建模塊；控制流圖構(gòu)建模塊根據(jù)程序基本塊識(shí)別模塊傳遞來的基本塊集合構(gòu)建控制流節(jié)點(diǎn)集合并維護(hù)它們的相互關(guān)系，并將構(gòu)建的節(jié)點(diǎn)集合和程序執(zhí)行時(shí)獲得的動(dòng)態(tài)信息傳遞給靜態(tài)分析模塊，根據(jù)返回的包含未執(zhí)行路徑的完整執(zhí)行信息構(gòu)建完整的程序控制流信息和程序控制流圖，并將此信息作為系統(tǒng)輸出傳遞給用戶；函數(shù)識(shí)別模塊提取函數(shù)調(diào)用圖構(gòu)建模塊傳遞過來的基本函數(shù)塊的調(diào)用地址，根據(jù)此信息查找API數(shù)據(jù)庫獲得函數(shù)的索引值和行為特征，并將找到的函數(shù)索引值和行為特征作為輸出返回給函數(shù)調(diào)用圖構(gòu)建模塊；靜態(tài)分析模塊接受控制流圖構(gòu)建模塊傳遞來的節(jié)點(diǎn)集合和記錄的動(dòng)態(tài)執(zhí)行路徑信息，補(bǔ)全未執(zhí)行到的路徑信息，生成完整的程序執(zhí)行路徑信息，并將這些信息作為輸出返回給控制流圖構(gòu)建模塊。

2.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)，其特征是，所述的二進(jìn)制代碼動(dòng)態(tài)插入模塊包括：自定義程序分析文件、動(dòng)態(tài)代碼插入工具DynamoRIO；自定義程序分析文件完成了對(duì)DynamoRIO提供的回調(diào)函數(shù)的實(shí)現(xiàn)，用戶能在此文件中定義所需的動(dòng)態(tài)分析關(guān)注點(diǎn)和分析規(guī)則；動(dòng)態(tài)代碼插入工具DynamoRIO能在程序運(yùn)行時(shí)，根據(jù)自定義程序分析文件中規(guī)定的分析要求和規(guī)則，在程序的任意位置插入任意二進(jìn)制代碼并跟蹤API信息，最后將分析結(jié)果通過所述的回調(diào)函數(shù)傳遞給程序基本塊識(shí)別模塊。

3.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)，其特征是，所述的程序基本塊識(shí)別模塊包括：程序單個(gè)指令定義和識(shí)別模塊、程序基本塊定義和識(shí)別模塊；程序單個(gè)指令定義和識(shí)別模塊包含了單個(gè)指令的定義和識(shí)別規(guī)則，此模塊根據(jù)由二進(jìn)制代碼動(dòng)態(tài)插入模塊傳遞過來的程序動(dòng)態(tài)分析信息識(shí)別出程序的單個(gè)指令，并將這些單個(gè)指令的識(shí)別結(jié)果傳遞給程序基本塊定義和識(shí)別模塊；程序基本塊的定義和識(shí)別模塊包含了基本塊的定義和識(shí)別規(guī)則，此模塊根據(jù)程序單個(gè)指令定義和識(shí)別模塊傳遞過來的單個(gè)指令的識(shí)別結(jié)果識(shí)別出程序的基本塊，并將這些基本塊的識(shí)別結(jié)果傳遞給函數(shù)調(diào)用圖構(gòu)建模塊和控制流圖構(gòu)建模塊。

4.相據(jù)權(quán)利要求3所述的計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)，其特征是，所述的程序基本塊為程序某段指令的鏈?zhǔn)郊希绦虻膶?shí)際分析過程將采用基本塊執(zhí)行過程。

5.根據(jù)權(quán)利要求1所述的計(jì)算機(jī)程序?qū)嶋H運(yùn)行時(shí)觸發(fā)軟件漏洞的檢測(cè)系統(tǒng)，其特征是，所述的函數(shù)調(diào)用圖構(gòu)建模塊包括：函數(shù)節(jié)點(diǎn)識(shí)別模塊、函數(shù)調(diào)用關(guān)系構(gòu)建模塊、函數(shù)調(diào)用圖生成模塊；函數(shù)節(jié)點(diǎn)識(shí)別模塊根據(jù)由程序基本塊識(shí)別模塊傳遞過來的程序基本塊集合，識(shí)別出帶返回指令的基本塊并將其作為函數(shù)節(jié)點(diǎn)將程序基本塊集合進(jìn)行劃分，以此識(shí)別出每個(gè)的函數(shù)塊，并將這些函數(shù)塊識(shí)別結(jié)果傳遞給函數(shù)識(shí)別模塊，并將返回的函數(shù)識(shí)別結(jié)果和函數(shù)的特征行為傳遞給函數(shù)調(diào)用關(guān)系構(gòu)建模塊；函數(shù)調(diào)用關(guān)系構(gòu)建模塊根據(jù)傳遞過來的函數(shù)識(shí)別結(jié)果、函數(shù)的特征行為和每個(gè)函數(shù)中的調(diào)用指令構(gòu)建函數(shù)間的相互調(diào)用關(guān)系，并將這些識(shí)別出來的調(diào)用關(guān)系信息傳遞給函數(shù)調(diào)用圖生成模塊；函數(shù)調(diào)用圖生成模塊根據(jù)由函數(shù)調(diào)用關(guān)系構(gòu)建模塊傳遞來的函數(shù)相互調(diào)用關(guān)系信息構(gòu)建函數(shù)調(diào)用圖，并將函數(shù)相互調(diào)用關(guān)系信息和構(gòu)建出來的函數(shù)調(diào)用圖傳遞給控制流圖構(gòu)建模塊。