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
相关文档：
C操作符的优先级和关联规则
操作符
关联规则
关联操作符 () [] -> .
从左到右
一元操作符 ! – ++ -- + - (type) * & sizeof
从右到左
乘法和除法 * / %
从左到右
加法和减法 + -
从� ......
C/C++预处理 ISO/ANSI C标准译文与注解
http://blog.csdn.net/huyansoft/archive/2008/05/26/2484297.aspx
<<ISO/ANSI C标准译文与注解 C/C++预处理部分>>
内容简介：本文档完整翻译了C标准(99版)中预处理和相关章节的内容，并在许多必要之处附加了注解和程序示例，以帮助读者理解标准原文，同时制作了详细� ......
一、多维数组地址的表示方法
设有整型二维数组a[3][4]如下：
0 1 2 3
4 5 6 7
8 9 10 11
设数组a的首地址为1000，各下标变量的首地址及其值如图所示。
在前面曾经介绍过， C语言允许把一个二维数组分解为多个一维数组来处理。因此数组a可分解为三个一维数组，即a[0]，a[1]， ......
转自：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 ......
