具体内容参看文件《CppCheck和PreFast对Cplusplus代码静态分析测试.zip》
C++测试源代码main.cpp
#define NULL 0
#include <stdio.h>
#include <string.h>
// 没有初始化
void defect1()
{
int a;
int b;
b = a;
}
// 空指针取值
void defect2( int b, int c)
{
int * p = NULL;
int a = 1 ;
if (b == 1 )
{
if (c == 1 )
{
p = & a;
}
else
{
}
}
else
{
if (c == 1 )
{
}
else
{
p = & a;
}
}
* p;
return ;
}
//可能错误的运算符优先级
void defect3()
{
int a = 1 ;
int b = 1 ;
int c = 1 ;
if (a & b == c)
return ;
}
//可能的buffer overrun
void defect4()
{
char buf[ 100 ];
char buf2[ 200 ];
int i = 100 ;
sprintf(buf, " hello world %d " , i);
strcpy(buf, buf2);
}
// 可能的无穷循环
void defect5()
{
signed char i;
for (i = 100 ; i >= 0 ; i ++ ) {
;
}
}
// 格式字符串错误
void defect6()
{
char buff[ 5 ];
sprintf(buff, " %s %s " , " a " );
}
//=和==误用
void defect7()
{
int a = 1 ;
if (a = 2 )
return ;
}
// 逻辑运算问题
void defect8()
{
int x;
if ( 0 && x ++ ) {
;
}
}
void main()
{
}
1、使用PreFast前后对比
图1取消C/C++代码分析
图2不使用PreFast时VS2010输出的警告
图3 启用C/C++代码分析
图4 使用PreFast时VS2010输出的警告
2、Cppcheck对main.cpp源代码的分析结果
图5 Cppcheck的分析结果