基于字符串分析的脆弱性檢測方法研究.pdf

1、隨著計算機網絡的發(fā)展,網絡應用軟件為人們提供了各式各樣的服務,但軟件中存在的脆弱性給人們帶來了安全隱患,由于網絡應用軟件的使用率飛速上升,使得網絡應用程序脆弱性檢測和修補工作尤為重要。而當前最嚴重的三種網絡應用程序脆弱性:跨站腳本、注入攻擊和執(zhí)行惡意文件都是由于字符串處理不當引起的,程序傳播和使用不經過處理或者經過不正確處理的惡意字符串,使程序遭受這些普遍存在的攻擊的破壞。
　　基于自動機的字符串分析方法作為一種靜態(tài)分析方法,通過

2、實現基于語言的自動機操作,在基于確定的有限自動機的結構之上分析程序執(zhí)行到給定程序點時字符串變量的取值集合,按照給定的判定標準分析字符串分析的結果集合在給定程序點中是否經過了適當的過濾,對程序錯誤和安全脆弱性進行檢測。
　　基于字符串分析的脆弱性檢測方法是在污點分析方法利用程序切片方法構造出的污點依賴圖基礎上,通過基于自動機的字符串分析方法計算字符串變量的取值集合,與攻擊模式進行匹配后,判斷程序是否存在脆弱性,如果程序存在脆弱性則自