【缺陷周话】第37期：未初始化值用于赋值操作

1、未初始化值用于赋值操作

局部的、自动变量存储在栈中，如果没有对其进行初始化，默认值为当前存储在栈内存中的值，此外，一些动态的内存分配方法也可能不会对申请的内存进行初始化，如 malloc()、 aligned_alloc() 等，没有对变量进行初始化就用于赋值操作，可能导致未定义的行为。详细请参见CWE-665: Improper Initialization、CWE-758:  Reliance on Undefined, Unspecified, orImplementation-Defined Behavior。

未初始化的自动变量或动态分配内存都拥有不确定的值，程序在使用这些不确定的值时可能会触发非预期的行为，甚至可能会让程序存在被恶意攻击的严重隐患。

CVE中也有一些与之相关的漏洞信息，从2018年1月至2019年5月，CVE中就有5条相关漏洞信息。漏洞信息如下：

示例源于Samate Juliet Test Suite for C/C++ v1.3 (https://samate.nist.gov/SARD/testsuite.php)，源文件名：CWE758_Undefined_Behavior__char_malloc_use_01.c。

在上述示例代码中，第23行使用 malloc() 函数进行内存分配但并未进行初始化，随后在第24行对分配是否成功进行了判断，当分配失败时，程序退出。在第25行将 pointer 指针指向的内存存储的值赋值给 data，但此时 pointer 指针并未被赋值，其指向的内存也是未定义的，因此存在“未初始化值用于赋值操作”问题。

使用代码卫士对上述示例代码进行检测，可以检出“未初始化值用于赋值操作”缺陷，显示等级为高。如图1所示：

图1未初始化值用于赋值操作检测示例

在上述修复代码中，Samate给出的修复方式为：在第27行对指针 pointer 进行赋值，从而避免了未初始化值用于赋值操作。

使用代码卫士对修复后的代码进行检测，可以看到已不存在“未初始化值用于赋值操作”缺陷。如图2：

图2：修复后检测结果

检查代码逻辑，避免将未初始化的值直接赋值给其他变量，另外也可以对变量的声明采取默认初始化的策略。