BSTR.IA.ASSIGN

BSTR 变量分配到非 BSTR 值

BSTR.IA.ASSIGN 检查器会查找为 BSTR 变量分配非 BSTR 值的代码。BSTR 变量只能分配到 null 常量或 BSTR 类型的值。

漏洞与风险

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

缓解与预防

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

漏洞代码示例

复制

1
2
3
4
  void bstr_assign() {
       BSTR foo;
       foo = L"abc";
  }

Klocwork 标记了第 3 行，该行中的 BSTR 变量被分配了非 BSTR 值。

修正代码示例

复制

1
2
3
  void bstr_assign() {
       BSTR foo = SysAllocString(L"abc");
  }

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