BSTR.IA.INIT

BSTR 变量使用非 BSTR 值初始化

BSTR.IA.INIT 检查器会查找使用非 BSTR 值初始化 BSTR 变量的代码。只能使用 null 常量或 BSTR 类型的值初始化 BSTR 变量。

漏洞与风险

由于两种样式的构建方式不同,将 COM 样式 BSTR 字符串与 C 样式字符串相互转换时需谨慎。在某些情况下,两者之间的转换可正常编译,但仍会产生意外结果。

缓解与预防

与 C 样式字符串不同,BSTR 字符串具有长度为 4 个字节,并包含以下数据字符串中的字节数的前缀。此外,BSTR 字符串还包含非强类型的嵌入式 null 字符。出于这些原因,最好不要在新设计中使用 BSTR。对于现有接口,请务必谨慎进行转换和使用 Sys*Alloc*、SysFree* 和 *String* 内存分配函数。

如果使用不符合此规则的宽字符串初始化 BSTR 字符串(例如,宽字符串常量),可能发生内存使用问题。

漏洞代码示例

复制
  void bstr_init() {
       BSTR foo = L"abc"; 
  }

Klocwork 标记了第 2 行,该行中使用非 BSTR 值初始化 BSTR 变量。

修正代码示例

复制
  void bstr_init() {
       BSTR foo = SysAllocString(L"abc"); 
  }

在此修正代码示例中,我们假设变量 foo 将成为 BSTR,因此已使用正确的 SysAllocString 转换函数将其定义为 BSTR。

相关检查器