LDRATestbed静态分析报告操作步骤.pdf

实用标准 使用 LDRA Testbed 对代码进行静态分析 静态分析的主要操作： ①分析对象选择 ②分析前的设置 ③分析项的选择与分析过程 ④分析结果的查看 详细操作如下： 一、 分析对象的选择，即如何选择你的分析对象 ( 被分析的文件 ) ； 有两种方式：单个文件分析和以集 (set) 的形式分析，以集的形式分析可每次分析多个 文件 1. 单个文件分析选择 打开程序 LDRA Testbed ，点击 Testbed 的菜单 File select file 通过文件浏览窗口 打 开 文 件 要 分 析 的 文 件 ， 如 C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。 文档大全 实用标准 点击 select 之后，可以在工具快捷按钮栏的下方看见目前选择的文件 2. 以集 (set) 的形式分析选择 ① 创建集合 (set), 设置集合属性 打开程序 LDRA Testbed ，点击 Testbed 的菜单 Set Select/Create/Delete Sets 弹出 set 创建窗口 在图中上部的 Select/Create Sets 区域写入 set 的名字，然后点击下部的 Create 按钮 创建 set ，此时会弹出 set 的属性设置对话框， 有两种属性可以设置” Group ”和”System; ” 此两种属性的区别： Group 只是把 set 中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为 批量分析使用。 文档大全 实用标准 System 把 set 中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一 般都会采用此种属性。 Set 创建之后可在窗口中确认如下： 其中 demo为 set 的名字， system 为 set 的属性， (0 files) 代表 set 中目前没有文件 ② 向集合中添加文件 点击 Testbed 的菜单 Set List/Add/Remove Files in Sets 弹出添加文件窗口 点击图中的 Add 按钮，通过文件浏览窗口可添加多个文件到 set 中。 二、 分析前的设置 在分析前需要对工具进行简单的设置， 主要包括用户头文件的设置和编码规则集的设置。 1. 基本的静态设置，包含头文件和编译宏设置。 点击 Testbed 菜单 configure static option ，弹出 static analysis optin 对话框， 在选项卡 Include files 中的内容是对头文件的设置，可关注的设置有， “Analysis Include files ” 区域设定头文件的展开方式 ( 即分不分析头文件 ) ，建议 选择第二种 Analysis the first instance of each found include “Interactive include file analysis ” 区域设定代码中出现头文件包含语句时，工 具与用户的交互方式， 建议选择第三种 Display dialog 文档大全 实用标准 only when include file not foun