C程序形狀的并行化分析.pdf

1、C語言作為一門主流的編程語言，在操作系統(tǒng)、編譯器、嵌入式軟件等領(lǐng)域得到廣泛使用，這些領(lǐng)域的軟件的安全性問題直接影響整個(gè)軟件領(lǐng)域的安全。與其他語言相比，C語言具有指針、動(dòng)態(tài)存儲(chǔ)分配、無數(shù)組越界動(dòng)態(tài)檢查等語言特性，導(dǎo)致C程序容易出現(xiàn)空指針脫引用、內(nèi)存泄漏、緩沖區(qū)溢出等諸多內(nèi)存安全漏洞。目前學(xué)術(shù)界和工業(yè)界都非常關(guān)注C程序的安全性問題，并提出了多種可以增強(qiáng)C程序的安全性方法如:程序驗(yàn)證、動(dòng)態(tài)分析、靜態(tài)分析等。
　　本文工作基于我們實(shí)驗(yàn)室研

2、發(fā)的一個(gè)C程序形狀的靜態(tài)分析工具原型ShapeChecker，它主要用來分析C程序內(nèi)存方面的錯(cuò)誤。
　　本文主要討論該工具中分析的并行化設(shè)計(jì)與實(shí)現(xiàn)，主要的貢獻(xiàn)在于:
　　第一，在ShapeChecker中設(shè)計(jì)實(shí)現(xiàn)了符號(hào)執(zhí)行調(diào)度算法。
　　ShapeChecker從函數(shù)與路徑兩個(gè)層次上分析程序，需要有相應(yīng)的調(diào)度算法去選擇可分析的函數(shù)和路徑，再由符號(hào)執(zhí)行引擎去分析這些函數(shù)和路徑。
　　第二，在ShapeChecker

3、中設(shè)計(jì)實(shí)現(xiàn)了函數(shù)層次和路徑層次上的并行化分析。
　　在ShapeChecker中，函數(shù)層次和路徑層次是兩個(gè)可以采用并行化技術(shù)的分析層次，在這兩個(gè)層次上進(jìn)行并行化，可以提升ShapeChecker的分析性能。
　　第三，參與實(shí)現(xiàn)了ShapeChecker原型系統(tǒng)。原型系統(tǒng)支持對單鏈表、雙鏈表、樹等形狀的分析，主要尋找C程序中與內(nèi)存相關(guān)的錯(cuò)誤。目前系統(tǒng)可以分析規(guī)模在萬行左右的C程序，可以找出代碼中空指針脫引用、緩沖區(qū)溢出、內(nèi)存泄