cppcheck的检查项的实现

自动变量地址返回
"return & %var% ;" %var% in vd_list
无效空间释放 "freray %var% in vda_list
.returnPointerToLocalArray() returnPointerToLocalArray()
类检查
面向对象编程问题
c++的面向对象编程存在一些安全隐患，一些经 典 的 c++ 编 程 书 籍 都 有 提 到 ， cppcheck 实 现 了 《effective c++》中提到的一些安全隐患检查 如：多态基类需要实现vitual的析构函数 不在构造和析构函数中使用vitual函数 operator = 必须返回*this operator = 需处理自我赋值的情况 …… 这些特性要加 –s 才启动
CheckMemoryLeakStructMember
检查内容：
在一个函数内、检查结构成员结构体被释放（返 回）时，其成员不释放空间
返回错误
(error) Memory leak: STRUCT.MEMBER 中间点表示成员
典型错误类型
Struct base { char *p; } Void f() { struct base *q; q=malloc(sizeof(struct base )) q->p=malloc(12); free(q); }
检查类
cppcheck共有15个检查类实现了其检查功能
自动变量检查
自动变量问题
自动变量也就是局部变量，存储空间在栈 stack中，函数结束时空间被释放，如果此时变 量地址被外部空间的函数使用，将会引起错误。 自动变量暴露到外部窗口
从参数（指向地址变量指针即指向指针的指针） return 全局指针变量… 其他 ….
存储所有发现的自动变量
寻找目标函数——返回引用的函数 寻找目标函数
函数特征 "%type% & %var% (“ 或 "> & %var% ("
.returnReference() returnReference()
提取数组特征
“[;{}] %type% %var% [” 或 “%type% < %any% > %var%”;
核心函数
check() ， variable（） （）
辅助函数
getAllocType() getDeallocationType()
典型错误类型
Void f() { g(malloc(SIZE)); }
其他检查
检查扩充
Cppcheck预留接口class checkother
内存泄露检查
内存泄露问题
内存泄露指的是在程序运行时，动态的申请了 内存（堆），但是使用过后没有释放，导致一些 内存永远得不到收回。 这是cppcheck最有价值的检查功能，也是实现代 码最长的一块检查
内存泄露检查
实现类
class CheckMemoryLeakStructMember class CheckMemoryLeakInFunction class CheckMemoryLeakInClass class CheckMemoryLeakNoVar
存在问题
没有处理指针传递 识别不精确 错误检查不精确
缓冲区溢出检查
缓冲区溢出问题
缓冲区也就是一块内存空间，它可以是在栈中的 局部变量（例如，静态数组），也可以是堆中的内 存区域，程序中动态产生（例如，malloc,C++支持的 动态数组）变量也就是局部变量。 所谓溢出也就是访问的地址空间超出了缓冲区内 存区域，常见有两种方式导致溢出，一是显示的 index越界，如数组越界,另外就是一些内存操作函数 使用不当引发，如memcpy,memset…等内存操作函数
CheckAutoVariables.autoVariables() CheckAutoVariables.autoVariables() 实现：
关键变量：
std::set<std::string> fp_list; 函数参数中指向指针的指针参数集合 std::set<unsigned int> vd_list; 自动变量集合 std::set<unsigned int> vda_list; 自动变量数组集合
错误捕获特征
自动变量地址被赋给函数参数
“[;{}] %var% = & %var%" %var%是fp_list . %var% in vd_list "[;{}] * %var% = & %var%" %var%是fp_list . %var% in vd_list "[;{}] %var% [ %any% ] = & %var%“ %var%是fp_list . %var% in vd_list
自动变量检查 错误举例：
由参数传递局部变量地址 由程序返回
int f(char ** fp) { Char c=’a’; *fp=&c; return 0; }
char* f(int i) { char c=‘a’; c=‘a’ return &c; }
(error) Assigning address of local (error) Return of the address of an auto-variable to a function parameter. auto-variable
类检查
实现类class CheckClass
类检查
主要实现函数
checkClass.constructors(); checkClass.operatorEq(); checkClass.privateFunctions(); checkClass.thisSubtraction(); checkClass.checkConst(); checkClass.virtualDestructor(); checkClass.operatorEqToSelf(); checkClass.operatorEqRetRefThis();
缓冲区溢出检查 错误举例：
由index越界 越界 内存操作程序使用不当
void f() { char arrary[10]; char c; c= arrary[11]; }
void f() { char* buffer=new char[10]; memset(buffer,0,11); }
缓冲区溢出检查
std::set<unsigned int> unknown_type;
bool begin_function = false; bool begin_function_decl = false 函数 进入函数的标志 进入函数参数声明部分标志
CheckAutoVariables.autoVariables() CheckAutoVariables.autoVariables()
.returncstr() returncstr()
提取变量特征 "%type% %var% [;=]" localvar.insert(tok2->next()->varId()); 将所有自动变量 加入到 localvar 错误特征
"return %var% . c_str ( ) ;“且 %var% 在集合localvar中
算法描述：
两个变量：Alloc Dealloc 一但对成员变量被分配空间，Alloc被置值，如果发现对变量 释放空间函数，Dealloc置值，并立即对比，是否是同一类内存 申请释放函数，如果不是，则立即报dismatch错，遍历完所有 类的函数
典型错误类型
class base{ private: int i; char *p; char *q; public : int j; base(); ~base(); void memalloc(); void memdealloc(); } base::base(){ p= malloc(12); } void base::memalloc(){ q = malloc(12); free(p); }
检查构造函数，析构函数中是否成对（申请，释放）（如果构造 中有内存申请，析构中必须有释放，）
(error) Memory leak: CLASSNAME ::MEMBER
Class CheckMemoryLeakInClass
实现接口（runSimplifiedChecks）
void runSimplifiedChecks(…) { … checkMemoryLeak.check(); }
错误输出
否存在有Alloc无Dealloc的情况，有则报错memleak,（有函数中有 申请，必须有函数 有函数释放，不一定在同一函数中申请释放） 有函数
(error) Memory leak: CLASSNAME ::MEMBER
发现不匹配
(error) Mismatching allocation and deallocation CLASSNAME ::MEMBER
核心函数
check()
辅助函数
getAllocType() getDeallocationType()
Class CheckMemoryLeakInClass
检查
1 成员变量在构造函数中赋空间,析构函数中没有被释放 2 成员变量在函数(所有函数，不单单是一个函数中)中分配空间， 与释放空间函数不成匹配（malloc – free , new -delete）出现
当f()运行结束时 str_local其实已经被释放了。 *好消息是 gcc就能查出此类问题