LDRA静态分析步骤

2023-11-17

将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
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

LDRA静态分析步骤 的相关文章

  • 二、Linux网络编程:Socket编程-接口

    2 Socket编程 接口 2 1 接口转换 转接口的换操作主要分为三类 字节序转换操作 IP地址转换操作和主机名转换操作 2 1 1 字节序转换操作 网络序转主机序 函数 含义 作用 ntohs network to host short

随机推荐

  • service启动失败问题排查

    本文首发在我的个人博客 https jlice top p 7ve9p 欢迎大家前去参观 么么哒 我的电脑在启动时总会提示 Failed to start Load Kernel Modules 虽然不影响使用 可强迫症看了还是会觉得难受
  • java jdbc 保存,​高级进阶 JDBC 保存和导出文本文件

    1 创建一个 表 textfile create table textfile id int primary key auto increment content longtext 2 向 表 textfile的 content 字段中保存
  • Java中String中的substring()方法的使用

    Substring 1 public String substring int index 使用此方法目的在于返回一个新的字符串 它是此字符串的一个子字符串 该子字符串始于指定索引处的字符 一直到此字符串末尾 下面举两个例子说明 schlo
  • 身材不高穿什么身材不高穿什么

    穿衣TIPS 个子小又丰满的女孩 选择短裙是对的 特别是亮色的短裙 可以把人的视线往上提 增加高度感 穿衣TIPS 小个子的MM们在挑选衣服的时候 最重要的就是要先确定自己的风格 如果你确实比较丰满 那么就干脆学曾宝仪走可爱路线吧 选择一些
  • 【QPalette】调色板简介

    描述 QPalette类包含每个小部件状态的颜色组 调色板由三个颜色组组成 活动的 禁用的和非活动的 Qt中的所有小部件都包含一个调色板 并使用它们的调色板来绘制自己 这使得用户界面易于配置和保持一致 如果您创建一个新的小部件 我们强烈建议
  • c语言常见练习题

    计算一个程序的运行时间 include
  • Centos系统安装Nodejs

    1 软件下载 官方网站 https nodejs org en 1 新版本下载说明 新版本可以在home页面直接下载 也可以在DOWNLOADS页面下载 2 旧版本下载说明 进入 DOWNLOADS 页面 页面滑动到最下面 点击左侧 Pre
  • PHP+jQuery+jCrop在线上传裁剪头像(内含源码)

    源码里面使用到两个开源的jQuery插件 其一是Ajax上传用的是uploadify 这个上传插件比较牛逼 并且可以自定义的东西也比较多 demo里面我用的不完善 没有把项目里面用到的取消上传和删除功能加上 同样也可以使用其他不需要使用Fl
  • 华为OD机试真题 Java 实现【矩阵稀疏扫描】【2023 B卷 100分】,附详细解题思路

    一 题目描述 如果矩阵中的许多系数都为零 那么该矩阵就是稀疏的 对稀疏现象有兴趣是因为它的开发可以带来巨大的计算节省 并且在许多大的实践中都会出现矩阵稀疏的问题 给定一个矩阵 现在需要逐行和逐列地扫描矩阵 如果某一行或者某一列内 存在连续出
  • unity 获得当前物体_Unity3D获取当前键盘按键及Unity3D鼠标、键盘的基本操作

    获取当前键盘按键 代码如下 using UnityEngine using System Collections public class GetCurrentKey MonoBehaviour KeyCode currentKey voi
  • 解决draw.io生成SVG矢量图导入Word显示有误的问题以及推荐几种SVG绘图方法

    解决draw io生成SVG矢量图导入Word显示有误的问题以及推荐几种SVG绘图方法 起因 解决办法 操作步骤 修改后效果 关于Word加载项draw io工具 流程图等推荐用Xmind 图表数据等也可以用Python的matplotli
  • centos7 基础命令

    一 linux基础 1 查看服务器的IP信息 ip add showifconfig 2 操作网卡命令 重启网络和启用网卡 systemctl restart networksystemctl start networksystemctl
  • 最近大火的两大AI绘图工具 Midjourney VS StableDiffusion

    大家好 今天给大家介绍一下最近大火的两大AI绘图工具 Midjourney 官网 和stable diffusion 官网 下面将分别从上手难易程度 出图效果 出图效率 使用成本进行对比 1 上手难易度 首先我们来看上手难易度 Midjou
  • maven2 笔记

    http blog csdn net liu251 article details 2767188 学习Mina的时候 发现Mina使用Maven做项目管理的 又开始学习Maven 这段时间做的笔记 要学会这种类似于ant 又比ant高级的
  • CSS3之3D魔方鼠标控制酷炫效果

    前面文章有制作水晶魔方 这次我们升级一下它的功能 通过鼠标控制魔方旋转 大家先看效果 这酷炫的效果 你怎么看 鼠标事件 这次效果 咱们需要用JS实现 主要是监听鼠标事件 计算鼠标滑动距离 改变魔方的rotateX rotateY JS有哪些
  • 免费代理列表

    按速度排序 http www freeproxylists net zh c cn f 1 s u 按中国搜集 http www freeproxylists net zh cn html 在线代理 http www 163 gd
  • Docker常用容器命令

    常用容器命令 有镜像才能创建容器 这是根本前提 下载一个CentOS镜像演示 docker pull centos 新建并启动容器 格式 docker run OPTIONS IMAGE COMMAND ARG 参数说明 OPTIONS说明
  • 北京课改版三年级英语教案三-Leo老师

    北京课改版三年级英语下册 I LIKE THE SHAPE Lesson2教案设计 教学目标 Objectives 推荐一个教师必备工具 Yichafen 是一个在线查分系统 全国8000所高校都在用 三分钟极速创建发布查分系统 1 确保学
  • 5月6号基金分析的那篇文章,时隔两个月收益如何?

    大家好 我是小一 在今年5月6号的时候 我写过一篇21年1季度基金持仓披露的伪分析报告 说是伪分析报告 是因为只是对 15646 只基金持仓数据中的股票型基金和混合型基金进行了简单的分析 并通过 TOP10 的持仓给出了最有可能的方向 充其
  • LDRA静态分析步骤

    将sysearch dat和sysppvar dat拷到本地 把 dat里面的所有路径替换成 要做静态分析的本地工程项目的所有头文件路径 如果有新增的新路径需要自己手动添加 通过TBvision来做静态分析 便于查看结果 创建集合 之后点C