软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
357-372
,共16页
董玉坤%金大海%宫云战%邢颖
董玉坤%金大海%宮雲戰%邢穎
동옥곤%금대해%궁운전%형영
可寻址表达式%内存模型%静态分析%符号化函数摘要%缺陷检测
可尋阯錶達式%內存模型%靜態分析%符號化函數摘要%缺陷檢測
가심지표체식%내존모형%정태분석%부호화함수적요%결함검측
addressable expression%memory model%static analysis%symbolic function summary%defect detection
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.
為瞭提高程序的靜態分析精度,提齣瞭一種應用基于區域的符號化三值邏輯(region-based symbolic threevalued logic,簡稱RSTVL)的靜態分析方法.RSTVL能夠描述C程序運行時內存中數據結構的形態信息與變量的存儲狀態,以及可尋阯錶達式間的各種關繫,包括指嚮關繫、層次關繫與取值邏輯關繫.為瞭提高靜態分析的精度,提齣瞭一種基于RSTVL的流敏感、域敏感的過程內分析與基于符號化函數摘要的上下文敏感的過程間分析,能夠精確地分析齣每箇程序點上的形態信息、數據流信息與指針指嚮關繫.實驗結果錶明,相對于基于符號化三值邏輯的方法,該分析方法在保證一定分析效率的前提下,能夠實現較高準確度的分析.
위료제고정서적정태분석정도,제출료일충응용기우구역적부호화삼치라집(region-based symbolic threevalued logic,간칭RSTVL)적정태분석방법.RSTVL능구묘술C정서운행시내존중수거결구적형태신식여변량적존저상태,이급가심지표체식간적각충관계,포괄지향관계、층차관계여취치라집관계.위료제고정태분석적정도,제출료일충기우RSTVL적류민감、역민감적과정내분석여기우부호화함수적요적상하문민감적과정간분석,능구정학지분석출매개정서점상적형태신식、수거류신식여지침지향관계.실험결과표명,상대우기우부호화삼치라집적방법,해분석방법재보증일정분석효솔적전제하,능구실현교고준학도적분석.
