计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
220-224
,共5页
静态分析%缺陷检测%别名分析%CIL%C#
靜態分析%缺陷檢測%彆名分析%CIL%C#
정태분석%결함검측%별명분석%CIL%C#
Static analysis%Defect detection%Alias analysis%CIL%C#
通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性.提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法.采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率；另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法.基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测.实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷.
通過靜態檢測髮現源程序中的潛在缺陷,可以幫助程序員在軟件髮佈之前髮現併脩補程序缺陷,提高軟件的安全性.提齣一種通過靜態分析CIL代碼來檢測C#程序代碼缺陷的方法.採用改進的深度優先搜索算法遍歷目標程序的控製流程圖,結閤歷史狀態緩存機製,能夠大幅度提高檢測效率；另外,為便于實施彆名分析,還提齣一種基于內存區域的變量錶示方法.基于所述分析方法,開髮瞭一箇C#源代碼缺陷靜態檢測繫統,併對實際開源項目進行瞭檢測.實驗結果錶明,本繫統能夠高效、準確地檢測C#程序中常見類型的缺陷.
통과정태검측발현원정서중적잠재결함,가이방조정서원재연건발포지전발현병수보정서결함,제고연건적안전성.제출일충통과정태분석CIL대마래검측C#정서대마결함적방법.채용개진적심도우선수색산법편력목표정서적공제류정도,결합역사상태완존궤제,능구대폭도제고검측효솔；령외,위편우실시별명분석,환제출일충기우내존구역적변량표시방법.기우소술분석방법,개발료일개C#원대마결함정태검측계통,병대실제개원항목진행료검측.실험결과표명,본계통능구고효、준학지검측C#정서중상견류형적결함.
