lib-ole.lnt

PClint,一个非常严格的C/C++编译器, 可以嵌入到VC.GCC等.它甚至能够检查出你C/C++代码中的内层泄漏问题,变量未初始化问题,不安全的使用指针等...微软公司把它作为代码检查工具,只有

// BSTR functions (part of OLE Automation)

-sem( SysAllocString, @p == malloc(1p) || @p == 0, 1p )
-sem( SysAllocStringByteLen, @P == malloc(2n)+1 || @p == 0 )
-sem( SysAllocStringLen, @p == malloc(2n)+1 || @p == 0 )
-sem( SysStringLen, @n == 1p - 1, 1p )
-function( free, SysFreeString )