首先我输入命令:
clang -cc1 -analyzer-checker-help
列出所有可用的检查器,如下所示。
alpha.core.BoolAssignment Warn about assigning non-{0,1} values to Boolean variables
alpha.core.CastSize Check when casting a malloc'ed type T, whether the size is a multiple of the size of T
alpha.core.CastToStruct Check for cast from non-struct pointer to struct pointer
alpha.core.FixedAddr Check for assignment of a fixed address to a pointer
alpha.core.PointerArithm Check for pointer arithmetic on locations other than array elements
alpha.core.PointerSub Check for pointer subtractions on two pointers pointing to different memory chunks
alpha.core.SizeofPtr Warn about unintended use of sizeof() on pointer expressions
alpha.cplusplus.VirtualCall Check virtual function calls during construction or destruction
......................................
然后我选择两个(BoolAssignment和VirtualCall)进行测试,代码如下:
int f1(){
int a=5;
short b=4;
bool a1=a;//maybe warn
bool b1=b;//maybe warn
if(a1&&b1)return 1;
return 0;
}
class M{
public:
virtual int GetAge(){return 0;}
};
class P:public M{
public:
virtual int GetAge(){return 1;}
P(){GetAge();}//maybe warn
~P(){GetAge();}//maybe warn
};
但什么都没发生,怎么了? 这是我调用支票的命令
scan-build --use-analyzer=/usr/bin/clang clang++ test.cpp -c -o test.o
答案 0 :(得分:1)
alpha.core.BoolAssignment默认情况下不是检查。您必须使用-enable-checker选项启用它。所以命令是:
scan-build --use-analyzer = / usr / bin / clang -enable-checker alpha.core.BoolAssignment clang ++ test.cpp -c -o test.o