ESP靜態(tài)鎖分析工具的Java實(shí)現(xiàn).pdf

1、如今,隨著計(jì)算機(jī)硬件的多核化的發(fā)展,并發(fā)程序的使用越來遠(yuǎn)廣泛。然而并發(fā)程序引入了數(shù)據(jù)競(jìng)爭(zhēng)和死鎖的問題,給軟件測(cè)試、軟件調(diào)試和程序分析等領(lǐng)域帶來了新的挑戰(zhàn)。數(shù)據(jù)競(jìng)爭(zhēng)和死鎖的檢測(cè)需要鎖分析的支持,然而傳統(tǒng)的分析工具對(duì)大型程序的鎖分析難以兼顧高效性和準(zhǔn)確性。比如RacerX能高效地分析大型程序中的鎖使用情況,但是分析結(jié)果存在很多誤報(bào),又比如KLEE能準(zhǔn)確地分析程序中的鎖使用情況,但是由于存在狀態(tài)爆炸的問題而難以分析大型程序。
　　本文介

2、紹了兼具高效性和準(zhǔn)確性的ESP靜態(tài)鎖分析算法,它采用了結(jié)合Lockset分析和PropSim分析的技術(shù)。ESP算法首先用基于數(shù)據(jù)流的路徑不敏感的Lockset分析方法快速地掃描目標(biāo)程序,對(duì)鎖的使用情況進(jìn)行全面地了解,并篩選出復(fù)雜的鎖相關(guān)函數(shù),然后用路徑敏感的PropSim分析對(duì)復(fù)雜的函數(shù)進(jìn)行精確地分析和驗(yàn)證,達(dá)到減少誤報(bào)率的目的。
　　我們用Java實(shí)現(xiàn)了ESP鎖分析工具,用于對(duì)大型程序進(jìn)行高效和準(zhǔn)確的鎖分析,它能直接報(bào)告可能存在