C/C++代码静态分析工具COBOT 用户手册(V2.7)
用于输出检测进度信息、编译信息以及代码检测和度量分析结果信息的区域。 6.(辅助区):
图 1-8
用于展示文件的函数节点信息(文件的方法大纲)以及查看函数或变量的调用点信息。
1.3 检测流程
按照如下所示的基本检测流程进行编码规则检测和度量分析:
新建项目?导入程序?检测设置?检测分析?问题追踪?结果导出?记录查看。
用户新建需要检测的工程项目名称,然后可以在该工程目录下导入C/C++文件(或文件夹),选择项目类型以及编译器类型等信息,可以对导入的工程文进行代码统计。在检测工程之前,需要配置规则检测项或度量分析项,即选择需要检测的规则条目和度量分析元。另外也需要对检测深度、检测模式以及检测结果数上限进行设置。检测配置完成后,就可以对工程进行检测了。检测完毕后,将会在输出区输出检测结果(或度量分析结果)。可以依据输出结果来进行问题
6
C/C++代码静态分析工具COBOT 用户手册(V2.7)
的追踪确认,检测记录能够自动定位到相应的代码行。最后可以将检测结果以EXCEL或WPS格式文件导出。用户也可以查看某个项目的检测历史记录信息。
2 缺陷检测
编码规则检测支持的标准包括CRSC、语义缺陷、GJB 5369-2005,MISRA C-2004、BACC C-2008、921 C-2007、GJB 8114-2013等。
GJB 5369-2005 MISRA C-2004 BACC C-2008 921 C-2007 2.1 用户登录
2.1.1 管理员身份登录
访问COBOT工具地址,进入系统登录页面,如下图所示:
7
C/C++代码静态分析工具COBOT 用户手册(V2.7)
图2-1
本系统默认以超级管理员的身份登录,登录成功后进入系统首页。以超级管理员身份登录后,可以进行用户创建和用户授权的操作。 (1)用户创建
以超级管理员身份登录系统后,选择工具栏中的「权限管理」。在弹出的页面中选择菜单栏中的「用户管理页面」。如下图所示:
图 2-2
图 2-3
在弹出的用户列表页面上,点击菜单栏中的「新增」按钮,如下图所示:
图 2-4
在弹出的新增用户对话框中,填写用户名、姓名、密码及邮箱等信息,点击「新增」按钮完成用户信息注册。注册完成后刷新网页即可在用户列表中看到新创建的用户信息。如下图所示:
8
C/C++代码静态分析工具COBOT 用户手册(V2.7)
图 2-5
图 2-6
如果新建的用户名与已经存在的用户名相同,系统会弹出如下图所示的提示信息。
图 2-7
(2)用户授权
用户需经授权后才能对相关工程项目进行操作。点击选择需要授权的工程项目,点击右侧菜单栏中的「授权」按钮。如下图所示:
图 2-8 9
C/C++代码静态分析工具COBOT 用户手册(V2.7)
在弹出的用户授权对话框中,勾选需要授权的用户,点击「确定」即可完成授权。如下图所示:
图 2-9
图 2-10
2.1.2 普通用户身份登录
完成用户注册后,就可以通过用户名和密码登录系统。普通用户权限有限,对相关项目的操作需经超级管理员授权后才能进行。
2.2 新建项目
2.2.1 项目创建
点击工具栏中的「新建」,如下图所示:
10
COBOT用户手册 V2.7



