Cppcheck代码分析下

1、流解析

　　解析函数中的可能的代码执行流， 函数实际执行中只会执行代码流中的一条流

　　分析: 分支语句 if-else ,switch-case

　　        循环语句 while, do-while ,for

2、代码流举例

2.1 示例代码

int main(int argc,char ** argv)
{
        std::string p_str= new  std::string() ;
        if(std::string == NULL)
        {
            return ;
        }
      else
        {
            delete p_str;
        }
      return ;
}

2.2 执行代码分析

2.2.1 执行路径1

int main()
{
    string *p_str;
    p_str= new string() ;

    (p_str == NULL);
    {
       return ;
    }
}

2.2.2 执行路径2

int main()
{
    string *p_str;
    p_str = new string() ;

    (p_str == NULL);
    {
        delete p_str;
    }
    return ;
}

2.2.3 保留条件信息

#conditon ( )

#conditon_contrary ( )

int main()
{
    string *p_str;
    p_str= new string() ; 

    #conditon (p_str= = NULL);
    {
         return ;
    }
}

int main()
{
   string *p_str;
   p_str= new string() ;

   #conditon_contrary (p_str= = NULL);
    {
       delete p_str;
    }
    return ;
}

2.2.4 等价替换—if

　　If

if(condition)
{
   …
}

　　2 paths

　　1->   (condition)
　　2->   (condition){ …}

　　If else

if(condition)
{
   …
}
else
{
   ……
}

　　2 paths

　　1->   (condition){ …}
　　2->   (condition){ ……}

2.2.5 等价替换—switch

swtich( int_condition)
{
   case :
        codes_1
   case :
        codes_2
   default:
        codes_DF
}

　　N paths

　　1->  swith (int_condition) { codes_1 codes_2 codes_DF}
　　2->  switch (int_condition) { codes_2   codes_DF }
　　3->  switch (int_condition) { codes_DF }

2.2.6 等价替换—while

while ( condition)
{
   codes
}

　　2 paths
　　1->   (condition) ;loop{  codes ;(condition) ;}
　　2->  (condition) ;  //未进入循环语句

2.2.7 等价替换—do while

do
{
   codes
}
while ( condition)

　　1 path
　　1->   loop{  codes ;(condition) ;}

2.2.8 等价替换—for

for( initial;condition;iterate)

{
   codes;
}

　　2 path

　　1->   initial ; condition ;loop{  codes ; iterate; condition;}
　　2->   initial ; condition ;

3、算法思想

3.1 嵌套问题

　　代码嵌套关系复杂

　　解决方案 ->递归算法

3.2 空间问题

　　path多，而且会重复

　　解决方案 -> codeblock

3.3 codeblock

　　将连续执行的代码部分以代码块的方式组合。

　　多条路径共用重复的代码块

　　codePath<-codeBlock<-token

　　Codeblock 重用

4、内存泄露检查

　　函数内内存泄露检查

　　找出所有与内存分配相关的函数

　　找出与内存分配地址相关指针（传递性）

　　是否地址传递到外部空间

　　路径状态判断

　　内存泄露特征

　　内存申请成功&&代码路径上没有释放空间&&地址没有传递到外部空间

　　地址值传递到外部空间方法：

　　1.函数参数（指向指针的指针参数）

　　2.调用其他函数时当参数

　　3.返回值

　　4.类成员变量

　　5.全局变量

5、其他检查流程

5.1 其他解析

　　危险使用

　　使用指针前没有判断指针的值是否为空

　　重复释放

　　申请释放函数不一致

　　malloc-free

　　new-delete

　　new[]-delete[]

　　……

5.2 内存解析算法

5.2.1 pointerSet存放分配内存地址的指针

　　发生指针传递时加入新集合成员

　　指针被重新赋值时从集合中删除

5.2.2 检查集合中的指针

　　1.当做函数的参数使用

　　2.当做返回值

　　3.赋值给（指向指针的参数）

5.2.2 路径上的内存状态

　　UNSURE     申请内存结果未知

　　NULL       申请内存失败

　　OK           申请内存成功

　　DEALLOCATE   内存被释放

　　PASSOUT    内存地址被传递到其他窗口

5.3 条件判断解析

5.3.1 解析#condition（……）

　　OK NULL UNSURE NEVER

　　条件语句中常见逻辑符号&& || 及小括号()

　　((ptr>0)&&other&&other)  => OK

　　((ptr>0)&&other||other)  => UNSURE

　　((ptr>0)&&(other||other)) => OK

　　从左到右，深度遍历

5.3.2 条件判断解析算法

　　OK NULL UNSURE NEVER

　　(any)  &&  UNSURE = any

　　(any)   ||   UNSURE = UNSURE

　　(any)  &&  NEVER = NEVER

　　(any)   || NEVER = any

　　OK  &&  NULL = NEVER

　　OK  ||  NULL = UNSURE

　　( A && B || C )

　　ptr is a pointer in pointerSet

　　(ptr)                  OK

　　(|ptr)                 NULL

　　(0 < ptr) (ptr > 0)        OK

　　(0 != ptr) (ptr != 0)       OK

　　(0 == ptr )              NULL

　　 other                 UNSURE

　　If（A && B|| C ）