将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