面向Java的跨函數分析技術.pdf

1、本文介紹了作者在跨函數分析研究方面所做的工作，包括跨函數分析技術的設計與實現以及對現有 DTSJava（Defect Testing Systemfor Java）系統(tǒng)的改進，將跨函數分析模塊與區(qū)間運算模塊結合，針對資源泄漏缺陷實現檢測算法，從應用角度驗證了 DTSJava跨函數分析技術。
　　 DTSJava是一個以數據流分析為核心、以抽象解釋和模型檢查輔助的通用的軟件缺陷靜態(tài)檢測系統(tǒng)。它將軟件故障抽象為缺陷模式狀態(tài)機，故障構

2、成因素表示為狀態(tài)，構成因素的時序關系表示為狀態(tài)之間的轉換。缺陷模式分析的過程是沿著控制流按狀態(tài)機的轉換條件進行狀態(tài)計算。如果實際導致狀態(tài)轉換的源代碼不在同一函數中而是通過函數調用，那么稱為多個函數構成的故障。已有的 DTSJava檢測系統(tǒng)關注整個系統(tǒng)框架的設計與實現，不具備多函數故障的檢測能力。與著名的軟件測試工具 Klocwork的對比發(fā)現，多函數故障在 DTSJava的漏報中占很大比例。
　　 為了提高故障覆蓋率，本文提出面

3、向故障的函數摘要概念，將跨函數分析分為收集和應用函數摘要兩階段。系統(tǒng)提供抽象定義，故障檢測算法實現函數摘要的提取方法和應用方法。根據用途的不同，本文設計了三種函數摘要：前置條件 Precondition、后置條件Postcondition和函數特征 Feature。前置條件是避免程序故障必須滿足的限制，后置條件表示函數對調用者上下文環(huán)境的影響（如變量值），函數特征表示對故障檢測狀態(tài)機的影響（如文件操作）。
　　 最后針對資源泄漏