46、代码检查与修复：数组越界、溢出及返回值未初始化问题

代码检查与修复：数组越界、溢出及返回值未初始化问题

在软件开发过程中，代码检查和修复是确保程序质量的关键环节。本文将详细介绍如何处理数组越界、溢出以及返回值未初始化等常见问题。

1. 数组越界检查与修复

1.1 确定检查的根本原因

• 若要了解或更改数组大小，右键单击数组变量，若存在“Go To Definition”选项则选择它；否则，从数组索引变量开始跟踪数据流，找到可以约束索引变量的点。
• 跟踪数据流时，选择检查项并查看“Result Details”窗格中的信息：
  • 若该窗格显示导致检查的指令序列，选择每个指令。
  • 若显示可能原因的行号，右键单击“Source”窗格，选择“Go To Line”。
  • 否则：
    1. 查找数组索引变量的先前实例。
    2. 浏览这些实例，找到将数组索引变量约束到（数组大小 - 1）的实例。若未找到，可指定约束，例如：

if(index<SIZE)
    read(array[index]);

    3. 确定约束是否适用于发生数组越界错误的实例。例如，在`for`循环中约束索引变量，但在循环外访问数组时约束可能不适用，此时需调查原因并考虑是否再次约束索引变量。
    4. 若索引变量从另一个变量获取，跟踪第二个变量的数据流，确定是否将其约束到（数组大小 - 1）。