多線程并發(fā)程序分析及別名算法研究.pdf

1、　 本文為提高分析效率，論文還提出了以對象為中心，結(jié)合Escape分析縮小檢測范圍的競爭檢測算法,由于別名信息極大的影響了算法的效率和精度，論文首先探討了不同設(shè)計要素對別名算法質(zhì)量的影響，進而針對分析語言和并發(fā)結(jié)構(gòu)設(shè)計了一種流不敏感、上下文敏感的別名算法并分別從語義和運行特征提出上下文敏感分析的兩種優(yōu)化方法。除了程序分析，動態(tài)分析和模型檢測是另外兩種有效的分析手段。動態(tài)分析和靜態(tài)分析在分析精度、性能和覆蓋率上有很好的互補性，論文針對

2、競爭檢測討論了它們相互結(jié)合的一些思路。程序分析和模型檢測往往可以檢測相同的屬性，分析過程也有相似之處，但是幾乎沒有對這兩種方法適用的分析范圍的研究。 論文對比分析了兩種方法各自的優(yōu)缺點，并以活躍變量分析為例說明了某些程序分析中的數(shù)據(jù)流分析問題可以轉(zhuǎn)換 為 模型檢測問題，證明了二者在分析結(jié)論上的等價性。論文工作形成了一個基本的數(shù)據(jù)流分析框架JTool。在JTool上實現(xiàn)了建立在算法研究之上的冗余同步刪除工具SyncRem