VS2005中检测和更正 C/C++ 代码缺陷
VS2005中检测和更正 C/C++ 代码缺陷
2006-11-26 15:55
VS2005中提供的检测方法:
1 IDE（集成开发环境）集成
2 #pragma 支持
3 批注支持
4 作为签入策略的一部分运行分析工具
5 Team System 与 Team Build 的集成
6 命令行支持
一 代码分析工具用于检测常见的编码错误，例如缓冲区溢出、内存未初始化、空指针取消引用，以及内存和资源泄露。
为 C/C++ 代码启用代码分析
在 Visual Studio 中打开一个项目。
在“项目”菜单上单击“属性”。
单击“代码分析”。
在“启用 C/C++ 代码分析”列表中，选择“是(/analyze)”，然后单击“确定”。
禁用 C/C++ 代码分析
在 Visual Studio 中打开一个项目。
在“项目”菜单上单击“属性”。
单击“代码分析”。
在“启用 C/C++ 代码分析”列表中，选择“否”，然后单击“确定”。
二 若要管理警告状态，请在单独的头文件中列出所有代码分析警告。将头文件包括在源文件中。使用 warning pragma 重写头文件中的设置。
启用或禁用代码分析警告
创建一个头文件，其中列出所有代码分析警告和这些警告的初始状态，如下面的代码所示：
// WarningState.h
#pragma warning ( enable : 6001 )
#pragma warning ( disable : 6011 )
// more warnings here
// end of file
将 WarningState.h 包括在应用程序头文件中。在本例中，MyApplication.h 代表头文件。
// MyApplication.h file
#include "WarningState.h"
// ...
// end of file
将 MyApplication.h 文件包括在源代码文件中。在本例中，MyApplication.cpp 代表源文件。
// MyApplication.cpp file
#include "MyApplication.h"
若要修改警告状态，请在 .cpp 文件中使用 pragma 警告说明符，如下面的代码所示：
#pragma warning ( enable : 6011 )
#pragma warning ( disable : 6001 )
三 若要在 C++ 中批注代码，必须首先包括 SourceAnnotations.h 文件，然后使用 vc_attributes 命名空间。(其他的批注属性:http://msdn2.microsoft.com/zh-cn/library/ms182037(VS.80).aspx)
在 C++ 中批注代码
向项目头文件添加 #include <CodeAnalysis/SourceAnnotations.h> 文件。 &nbs
相关文档：
<<ISO/ANSI C标准译文与注解 C/C++预处理部分>>
内容简介：本文档完整翻译了C标准(99版)中预处理和相关章节的内容，并在许多必要之处附加了注解和程序示例，以帮助读者理解标准原文，同时制作了详细的中英文索引备查。
译者：胡彦
出处：http://blog.csdn.net/huyansoft
如果转载，请保留译者和出处信息，� ......
自己写的C/C++编译器Doctors[软件+文档]
http://blog.csdn.net/huyansoft/archive/2009/08/20/4464772.aspx
更新版本1.0.1：该版本解决了之前1.0.0版本中找不到链接库libc.lib的问题，以及IDE下点击Project菜单出现的BUG。下载地址：http://download.csdn.net/source/1597132
Doctors编译器内部实现
For version 1.0.1 ......
using System;
using System.Data;
using System.Configuration;
using System.Web;
using System.Web.Security;
using System.Web.UI;
using System.Web.UI.WebControls;
using System.Web.UI.WebControls.WebParts;
using System.Web.UI.HtmlControls;
using ......
转自：http://dev.csdn.net/article/29/29329.shtm
关于逻辑移位、算术移位可参见 迅雷深大笔试题部分。的一道题。
以前看到C++标准上说，移位运算符（<<、>>）出界时的行为并不确定：
The behavior is undefined if the right operand is negative, or greater than or equal to the length in bit ......
