计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2011年
6期
1114-1125
,共12页
梁广泰%孟娜%李进辉%钟浩%张路%王千祥
樑廣泰%孟娜%李進輝%鐘浩%張路%王韆祥
량엄태%맹나%리진휘%종호%장로%왕천상
静态分析%缺陷分析%半自动化扩展%缺陷模式
靜態分析%缺陷分析%半自動化擴展%缺陷模式
정태분석%결함분석%반자동화확전%결함모식
基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具--CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.
基于缺陷模式的代碼缺陷分析技術根據預先設定的缺陷模式知識對受檢代碼進行缺陷分析.這種分析技術具有使用簡單、查找速度快等優點,是近年來靜態代碼缺陷分析方法中髮展比較迅速的新技術.但是目前基于這種分析技術的大多數工具併沒有為用戶提供足夠易用、高效的擴展方式以擴充其缺陷檢測能力.針對這一問題,作者提齣瞭一箇"可半自動化擴展"的代碼缺陷靜態分析方法,設計併實現瞭一箇支持該方法的工具--CODA(COde Defect Analysis tool).CODA不僅提供瞭"缺陷模式描述模闆"以幫助用戶快速地手工擴充缺陷模式庫,還能在用戶的指導下半自動化地挖掘新缺陷模式以快速擴充其缺陷模式庫.一旦新的缺陷模式被定義併添加至缺陷模式庫中,CODA便能自動具有針對該類缺陷的檢測能力.
기우결함모식적대마결함분석기술근거예선설정적결함모식지식대수검대마진행결함분석.저충분석기술구유사용간단、사조속도쾌등우점,시근년래정태대마결함분석방법중발전비교신속적신기술.단시목전기우저충분석기술적대다수공구병몰유위용호제공족구역용、고효적확전방식이확충기결함검측능력.침대저일문제,작자제출료일개"가반자동화확전"적대마결함정태분석방법,설계병실현료일개지지해방법적공구--CODA(COde Defect Analysis tool).CODA불부제공료"결함모식묘술모판"이방조용호쾌속지수공확충결함모식고,환능재용호적지도하반자동화지알굴신결함모식이쾌속확충기결함모식고.일단신적결함모식피정의병첨가지결함모식고중,CODA편능자동구유침대해류결함적검측능력.