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

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

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

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