作者：张仕金 尚赵伟cppcheck抽象区间集数组越界变量表达式
摘要：针对开源软件Cppcheck误报率和漏报率过高，且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数组边界缺陷检测。在Cppcheck框架内，通过引入区间集概念，建立每个程序点变量和表达式的整型区间集和数组区间集，并由此定位出程序中的矛盾点，最终检测出程序缺陷。与Cppcheck相比较，所提算法的查准率提高18．5％，漏报率降低22．5％，误报率提高3．5％。实验结果表明，该方法能有效地检测出运行程序缺陷，并提高Cppcheck缺陷检测性能。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
