论文部分内容阅读
首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.