代码审查：
--发现不符合编码规范的代码
--检测代码中的缺陷
--发现安全漏洞
--用户自定义规则
跟踪发现的问题
--CA发现的问题日志直接登记在[测试中心（TestCenter）]
--根据日志来提交缺陷
--自定义缺陷管理流程来跟踪缺陷
--缺陷统计分析

规则示例：
--代码的编写格式、缩进
--变量命名规范
--变量初始化
--返回值
--控制流编写、循环的编写
支持的规则分类：
--词法规则（例：变量需要有含义的英文字母）
--语法规则（例：变量初始化的位置、package编写规范）
--语义规则（例：数据库连接管理）

原理：
--对代码进行编译检查，生成语法树
--生成执行分支
--对每个分支进行模拟执行，发现缺陷
缺陷：
--内存管理
--文件管理
--变量管理（参数、类变量、局部变量）

根据定义的安全规则，检查漏洞：
--代码安全处理规则
--扫描代码，生成路径分支
--模拟执行，发现安全漏洞

功能：
--与语法无关的元素的规范性检查
详细处理：
--缩进
--空行处理
--换行管理
--注释

原理（编译算法）：
--根据c/java的语法BNF范式，编写语法分析器，对源代码进行语法分析
--优化BNF范式为LL1文法
--编写词法分析器
--根据文法对编码进行解析处理
处理的结果：
--语法树
--变量登记表
----本地变量
----临时变量
----类变量
----全局变量（c语言的情况）
----参数变量
----特殊变量（数据库连接、文件句柄等）

语法分析过程：
--定义BNF规则处理
--定义处理状态机
--根据输入的关键字、语法符号了决定：
----推演
----应用的规则

元素：
--终结符
----关键字
------if/else ……
----字符串
----标识符
--非终结符

根据变量登记表：
--处理变量的规则：命名规则、初始化规则
--处理变量的状态变更：
----open-close规则
--报告错误（写入日志）

根据实际情况来对c/java定义规则：
--对于数据库联接处理的规则
--对于文件处理的规则
--对于安全处理的规则
--对于result处理规则
--对于返回处理规则
--对于内存管理的规则
--……

不需要测试用例
--可以捕获测试用例集漏掉的问题
--不需要人力投入来设计用例、执行用例
尽早的检测出代码的缺陷
--每次checkin时刻，检查代码
--可以更容易更便宜的得到修复
--容易的获取代码分析报告
从数据和程序来分析, 更容易发现潜在问题
--分析考虑了程序内部的过程交互，是上下文关联、路径敏感和对象敏感的。
--使用数据流分析和控制流分析
与编译器无关
--不需要编译和额外开销
支持代码走查
--支持逆向工程
--支持面向类的检查
--生成逆向工程文件
报告
--生成xml的报告
--生成在TestCenter中的报告
集成
--能够与其他工具集成，如版本管理工具等

增加属性：
--提交人
--程序文件名
--错误类型
--函数/方法名
--位置（行，列）