VC批注 使用示例

// VC2008
// VC批注 使用示例
// 编译选项: 生成时启用C/C++代码分析: 是(/analyze)

#include "stdafx.h"
#include <CodeAnalysis/SourceAnnotations.h>
using namespace vc_attributes;

// 要求检查数据有效性质
int Fun( [Pre (ValidElementsConst=2)] int *pData )
{
 return pData[0] + pData[1];
}

int _tmain(int argc, _TCHAR* argv[])
{
 int * pData = new int;
 int iS = Fun(pData);
 delete pData;

 return 0;
}

// 编译警告:
// warning C6203: 非堆栈缓冲区“pData”在对“Fun”的调用中溢出: 长度“8”超过了缓冲区的大小“4”
// warning C6385: 无效的数据: 访问“参数 1”时，“4”个字节可读，但可能读取了“8”个字节: Lines: 17, 18