用于检测将 wchar_t* 传递给 BSTR 的静态代码分析

Question

由于 BSTR 只是 wchar_t* 的 typedef，我们的代码库有几个（很多？）地方将字符串文字传递给期望的方法BSTR 这可能会扰乱编组器或任何尝试使用任何 BSTR 特定方法（例如 SysStringLen）的人。

有什么方法可以静态检测这种类型的误用吗？

我尝试使用 VC10 /Wall 和静态代码分析 Microsoft All Rules 进行编译，但以下有问题的代码片段不会被任何一个标记其中。

void foo(BSTR str)  
{
    std::cout << SysStringLen(str) << std::endl; 
}

int _tmain()
{
    foo(L"Don't do that");
}

---

更新：在尝试破坏wtypes.h以检测此类违规行为后，我已经放弃了。

我尝试了两条路径，这两条路径都可以使用上面的示例程序，但是一旦我尝试了一个真正的项目，它们就失败了。

1. 创建一个名为 BSTR 的类，但由于 VARIANT 有一个 BSTR 作为联合成员，因此新类不能有任何构造函数或赋值运算符破坏了 NULL 被视为 BSTR 的每个地方。我尝试用具有转换运算符的类型替换 NULL，但在添加了数十个新运算符（比较、转换等）后，我开始遇到不明确的调用并放弃了。
2. 然后我尝试了@CashCow和@Hans建议的方法（使BSTR成为另一种类型的指针的typedef）。在添加 toBSTR 和 fromBSTR 方法并乱扔 comutil.h (_bstr_t) 和其他有转换的地方我终于到了编译器因 IDL 生成的标头而窒息的地步（默认值被转换为文字宽字符串）。

简而言之，我已经放弃尝试自己实现这一目标，如果有人知道可以提供帮助的代码分析工具，我会很高兴听到它。

Answer 1

我相信 Coverity 声称可以检测此类漏洞。我记得他们在向我工作的公司演示时特别提到了 COM 的东西。

他们的 数据表 似乎暗示他们会检查 BSTR 使用不当的类别。他们有一个演示期；您可以尝试一下，看看它是否标记了您的示例输入。

Answer 2

您是否可以更改方法以采用 _bstr_t 或 CComBSTR 代替？

如果不是，那么因为文字在技术上是 const wchar_t *，如果有编译器设置不允许文字 -> 非 const 指针转换，那么你可以这样做。

否则，可以将 BSTR 的定义修改为 unsigned Short *。然后，如果您构建所有源代码，则无论传入文字的任何地方都会出现编译器错误，并且您可以修复所有这些代码。那我建议还是改回来吧...

Answer 3

你可以尝试用Clang编译，它的静态/动态分析可能会找到你要找的东西。

Answer 4

使用 BSTR 重载所有函数并通过适当的转换转发它们。

void foo( BSTR str )
{
    std::cout << SysStringLen(str) << std::endl; 
}

void foo( const WCHAR *str )
{
    foo( SysAllocString( str ));
}

int _tmain()
{
    foo( L"don't do this" );
    return 0;
}

或者，要生成编译器错误，请将所有参数类型从 BSTR 更改为其他类型并查找错误：

typedef UINT bar;

void foo( bar _str )
{
    // make the compiler happy below
    BSTR str = (BSTR)_str;
    std::cout << SysStringLen(str) << std::endl;
}

int _tmain()
{
    foo( L"don't do this" );
    foo( (bar)42 );
    return 0;
}

错误 C2664: 'foo' : 无法将参数 1 从 'const wchar_t [14]' 转换为 'bar'

我假设 C2664 错误和编译器识别的“const wchar_t[]”类型是您希望编译器为使用 BSTR 对函数进行的每个内部调用找到的类型？