计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
11期
3257-3261
,共5页
Cppcheck%抽象区间集%数组越界%变量%表达式
Cppcheck%抽象區間集%數組越界%變量%錶達式
Cppcheck%추상구간집%수조월계%변량%표체식
Cppcheck%abstract interval set%array bound overflow%variable%expression
针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测.在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和数组区间集,并由此定位出程序中的矛盾点,最终检测出程序缺陷.与Cppcheck相比较,所提算法的查准率提高18.5％,漏报率降低22.5％,误报率提高3.5％.实验结果表明,该方法能有效地检测出运行程序缺陷,并提高Cppcheck缺陷检测性能.
針對開源軟件Cppcheck誤報率和漏報率過高,且不能檢測齣運行時程序缺陷等問題,基于Cppcheck程序,提齣瞭抽象區間集算法,併將其應用于數組邊界缺陷檢測.在Cppcheck框架內,通過引入區間集概唸,建立每箇程序點變量和錶達式的整型區間集和數組區間集,併由此定位齣程序中的矛盾點,最終檢測齣程序缺陷.與Cppcheck相比較,所提算法的查準率提高18.5％,漏報率降低22.5％,誤報率提高3.5％.實驗結果錶明,該方法能有效地檢測齣運行程序缺陷,併提高Cppcheck缺陷檢測性能.
침대개원연건Cppcheck오보솔화루보솔과고,차불능검측출운행시정서결함등문제,기우Cppcheck정서,제출료추상구간집산법,병장기응용우수조변계결함검측.재Cppcheck광가내,통과인입구간집개념,건립매개정서점변량화표체식적정형구간집화수조구간집,병유차정위출정서중적모순점,최종검측출정서결함.여Cppcheck상비교,소제산법적사준솔제고18.5％,루보솔강저22.5％,오보솔제고3.5％.실험결과표명,해방법능유효지검측출운행정서결함,병제고Cppcheck결함검측성능.
