一種PHP程序自動(dòng)化缺陷分析工具的設(shè)計(jì)與開發(fā).pdf

1、互聯(lián)網(wǎng)時(shí)代促進(jìn)了Web應(yīng)用程序的發(fā)展,然而Web應(yīng)用程序面臨的安全問(wèn)題越來(lái)越嚴(yán)重,程序缺陷和漏洞已經(jīng)成為安全問(wèn)題的主要根源之一。PHP語(yǔ)言功能強(qiáng)大效率高,是普遍應(yīng)用于服務(wù)器端的動(dòng)態(tài)腳本語(yǔ)言。因此,研究基于PHP程序的安全缺陷分析技術(shù)具有重大的現(xiàn)實(shí)意義。
　　本文使用源代碼靜態(tài)分析技術(shù),借助數(shù)據(jù)流分析的思路,研究擴(kuò)展污點(diǎn)傳播分析技術(shù),重點(diǎn)研究漏洞模型、解析樹、控制流圖、別名分析、量值分析、污點(diǎn)分析等內(nèi)容。本文最終開發(fā)出一款實(shí)用的分析

2、工具Paz,能夠檢測(cè)出PHP源代碼存在的跨站腳本漏洞和SQL注入漏洞。本文污點(diǎn)傳播分析技術(shù)的主體思路為:
　　首先,PHP源代碼先轉(zhuǎn)化為解析樹,再轉(zhuǎn)化為控制流圖作為中間表示,用以描述每個(gè)程序點(diǎn)和代碼執(zhí)行流程。
　　其次,為污點(diǎn)分析引入格定義,用以描述每個(gè)程序點(diǎn)上變量的污點(diǎn)值;再為污點(diǎn)分析引入傳遞函數(shù),用以表示執(zhí)行各種語(yǔ)句后污點(diǎn)值發(fā)生的變化。
　　再次,針對(duì)跨站腳本漏洞和SQL注入漏洞,定義污點(diǎn)數(shù)據(jù)進(jìn)入程序的入口點(diǎn)函數(shù)和

3、觸發(fā)漏洞的出口點(diǎn)函數(shù)。另外,還要定義內(nèi)置函數(shù)的凈化處理能力。
　　最后,保守定義入口點(diǎn)變量都為污染,根據(jù)控制流圖的代碼執(zhí)行流程和傳遞函數(shù)的污點(diǎn)值變化,計(jì)算出在漏洞發(fā)生點(diǎn)上變量的污點(diǎn)值。如果污點(diǎn)值是tainted,則此行代碼可能產(chǎn)生漏洞;如果污點(diǎn)值是untainted,則此行代碼不會(huì)產(chǎn)生漏洞。
　　本文創(chuàng)新性地解決了國(guó)內(nèi)外現(xiàn)有的分析技術(shù)和工具中存在的幾個(gè)問(wèn)題,有效降低了分析的漏報(bào)率和誤報(bào)率。
　　1)深入研究過(guò)程間別名分