cppcheck架构分析

静态代码检查cppcheck之(1)——Cppcheck 架构分析

  (2011-07-01 12:50:14)
标签: 

杂谈

 

一、检查点

  1、自动变量检查:

       返回自动变量(局部变量)指针

  2、越界检查:

       数组越界返回自动变量(局部变量)指针

  3、类检查:

       构造函数初始化

  4、内存泄露检查:

  5、空指针检查:

  6、废弃函数检查

  7、其他:

二、Cppcheck 架构分析

总体

静态代码检查cppcheck之(1)——Cppcheck <wbr>架构分析
三、检查点cppcheck系统C++实现类


  静态代码检查cppcheck之(1)——Cppcheck <wbr>架构分析

参数分析

外部输入

内部抽象classSetings

class Settings

{

  …

  std::string _append;

  std::string userDefines;

  std::list<std::string> _includePaths;

  std::list<Rule> rules;

  …

}
字符交互模式 
 CmdLineParser parser(&_settings);

四、Cppcheck总过程

静态代码检查cppcheck之(1)——Cppcheck <wbr>架构分析

预处理

预处理处理由Preprocessor类实现

执行Class Preprocessor::preprocess()

预处理阶段主要处理:

   去多余空格

   删除汇编代码

   处理#Include及嵌套

   统一预处理语句(例:#if define=> #ifdef

   提取预处理配置设置(configuration

   替换宏定义

Tokenize

解析代码成符号

 class Tokenizer实现

 实现接口 class Tokenizer::tokenize()

符号:+-*/;…

    变量名

函数名

 

Simplify

目的:

简化复杂代码

   统一化

  class Tokenizer实现

 实现接口 class Tokenizer::simplifyTokenList()

Simplify规则

对变量

对条件循环语句if forwhile

五、Cppcheck 核心类class cppcheck

核心函数check()

处理入口,在此函数对输入代码进行初步分析处理,最后将代码传递给 CheckFile().

核心函数CheckFile()

函数功能是分析一个代码文件, CheckFile()会将代码流做进一步的分析,做tokenize,simplify,处理后分析代码,报告错误

Class cppcheck::check()函数  &class cppcheck:: CheckFile()函数的实现

静态代码检查cppcheck之(1)——Cppcheck <wbr>架构分析


Cppcheck 检查实现类check

静态代码检查cppcheck之(1)——Cppcheck <wbr>架构分析

Cppcheck核心类check

 

Class check

protected:

    const std::string _name;

    const Tokenizer * const _tokenizer;

    const Settings * const _settings;

    ErrorLogger * const _errorLogger;

virtual void runChecks(****){ }                     //不是所有check子类都会实现

virtual void runSimplifiedChecks(***) = 0;            //所有check子类都会实现

void reportError()                               //报告误差,所有check子类都会用到

virtual void getErrorMessages(****) = 0;       //所有check子类都会实现,最终都会调用reportError() 

 

Void runChecks() 

    主要是检查经过tokenize,但未经过simplify的代码流

Void runSimplifiedChecks()

主要是检查经过tokenize,但未经过simplify的代码流

用户扩展接口

CheckOther : public Check

……

virtual void runChecks(****){ }                     //实现

virtual void runSimplifiedChecks(***) = 0;   //实现

添加检查函数方法:

void runChecks(const Tokenizer *tokenizer, const Settings *settings, ErrorLogger *errorLogger)

    {

        CheckOther checkOther(tokenizer, settings, errorLogger);

        // Coding style checks

        checkOther.warningOldStylePointerCast();

        checkOther.checkUnsignedDivision();

         checkOther.addcheck();

        …

}

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值