LDRA静态分析步骤

将sysearch.dat和sysppvar.dat拷到本地
把.dat里面的所有路径替换成 要做静态分析的本地工程项目的所有头文件路径，如果有新增的新路径需要自己手动添加

通过TBvision来做静态分析，便于查看结果

创建集合


之后点Create，然后选Group


选一个或者多个.c文件，Recures Folders打勾，然后点Add

选择之前的.dat文件，其他默认

点击NO

设置静态分析选项
单击LDRA Configuration Dialogs

选Static Analysis Options

如下两张图一样打勾


代码评审选项设置

选MISRA-C:2012,其他默认

然后执行分析,单击Run LDRA Testbed Interactive Analysis

选中前面四个，点击start analysis

点Open Log View可以查看运行状态


分析完毕

右击查看结果

确认每个头文件都被找到并扩展

Code Review

The MISRA C:2012 categories are mapped as follows: Mandatory as Mandatory(M), Required as Checking©, Advisory as Optional(O). In addition, the category Document(I) is used to highlight code that has issues

根据公司规定看看那些不符合需要更改的

双击违反项, 可以定位到源代码

双击“Phase Code“，可以了解这条规则的具体含义


查看Test Manager Report

点击下图的两个Report可以查看详细报告

如果代码更改后要重新分析, 需要先删除上一次的分析结果



重新分析

导出报告需要打开Testbed

选中刚刚的Group Set

Analysis里面悬着TBpublish

选中路径，勾选Publish HTML Reports