CS.SV.TAINTED.CALL.INDEX_ACCESS
通过函数调用将未经验证的输入用于数组索引
每当从用户或外部环境接受输入的时候，都应该在使用前验证类型、长度、格式和范围。在得到妥善验证之前，数据将被视为已被污染。CS.SV.TAINTED 系列检查器会查找代码中使用已污染数据的情况。
SV.TAINTED.CALL.INDEX_ACCESS 检查器会标记出将被污染的数据传递给其他将使用这些数据来访问数组的函数的代码。
漏洞与风险
当代码输入未经妥善验证时，攻击者可以精心地将输入编制为并非应用程序所预期的格式。接收意外的输入可能导致控制流被改变、任意的资源控制以及任意的代码执行。通过此类机会，攻击者可以
- 提供无法预料的值并导致程序崩溃
- 导致过度的资源消耗
- 读取机密数据
- 使用恶意输入来修改数据或改变控制流
- 执行任意命令
将用户提供的值用作数组索引可能导致索引越界漏洞。如果漏洞函数允许从任意内存读取或写入任意内存，则它可能导致应用程序不稳定，或遭受精心设计的攻击，出现数据泄露漏洞或代码注入漏洞。
缓解与预防
要避免受污染输入错误：
- 了解所有可能导致不受信任的输入进入软件的区域：参数或自变量、Cookie、读取自网络的输入、环境变量、反向 DNS 查找、查询结果、文件名、数据库以及任何外部系统
- 使用白名单或“已知正确”策略进行输入，而不是仅依赖于黑名单或“已知错误”策略
- 确保对输入的所有相关属性进行验证，包括长度、输入类型、范围、缺失或额外输入、语法以及一致性
- 如果在应用程序的客户端一侧有安全性检查，请确保也在服务器端重复一遍
- 如果应用程序组合来自多个来源的输入，请在组合来源之后再执行验证
漏洞代码示例
复制
namespace myNamespace
{
class IndexValueUseByCallingMethod
{
public static void setSize(int index, int[] array)
{
array[index] = 0;
}
public static void TryUseIndexValue(int value)
{
int[] integerArray = new int[MAX_BUFFER_SIZE];
int input_value = Console.Read();
setSize(input_value, integerArray);
}
}
}Klocwork 针对第 14 行生成问题报告，这表示在第 13 行通过调用 Console.Read() 而接收到的未验证整数值 input_value 可用于通过第 4 行的调用访问第 7 行的数组。在这种情况下，对于用于访问数组的数据，CS.SV.TAINTED.CALL.INDEX_ACCESS 检查器会标记其中可能已污染的数据，因为恶意用户可能会利用这些数据。
修正代码示例
复制
namespace myNamespace
{
class IndexValueUseByCallingMethod
{
public static void setSize(int index, int[] array)
{
array[index] = 0;
}
public static void TryUseIndexValue(int value)
{
int[] integerArray = new int[MAX_BUFFER_SIZE];
int input_value = Console.Read();
// Validate input before using it in a memory allocation
if (input_value > 0 && input_value <= MAX_BUFFER_SIZE)
{
setSize(input_value, integerArray);
}
}
}
}在此示例中，第 16 行受外部控制的数据仅在经过验证后才能使用，因此代码不易再遭到缓冲溢出攻击。
