静态代码测试工具Helix QAC 2023.1更新快讯:主打编码标准覆盖率

helix qac 2023.1 对 misra c:2012修订版4和misra c:2023的覆盖率为100%,对 autosar c++14的覆盖率为96%。它还更新了cwe最新版本v4.10的合规模块。
在这一版本中helix qac和validate平台的集成也有重大改进,validate平台提供了软件对跨工程以及perforce静态分析产品的软件洞察力。
编码标准覆盖范围(misra c:2012修订版4、misra c:2023、autosar 和 cwe)
misra针对c程序设计语言的软件开发指南。这些指南的目的是促进嵌入式系统上下文中的代码安全性、安全性、可移植性和可靠性。
• 100%覆盖 misra c:2012 修订版4,包括新规则和 3 条指令以及对现有指南的更新。
• 新的指南涵盖了额外的c11/18特性,包括对threads和atomics标准库的使用,以及对现有特性的新规则。
helix qac也对misra c:2023有100%的覆盖度,该指南将以前的修订、修正和技术整合为一个单一的、全面的版本。misra c:2023将于今年晚些时候出版。
autosar
autosar c++ 14 的覆盖率已提高到 96%。
cwe
更新了 cwe c 和 cwe c++ 合规模块,以与最新版本的 cwe 4.10 保持一致。
perforce validate
持续安全性和代码合规性平台为嵌入式和关键任务应用提供功能安全性、安全性、可靠性和质量保证。
validate平台为整个组织的代码库提供分析数据、趋势和配置的集中存储,为所有perforce static analysis产品提供独立平台。
2023.1 改进了 helix qac 和validate平台之间的集成。
• 将问题抑制状态与validate连接的项目同步
○ 桌面 gui 和 eclipse ide 插件
• 最新版本的项目基线支持
• streams 功能为单个代码库提供变体、分支和版本的管理和高效报告
• 改进了使用helix qac桌面工具和validate之间的validate和qac gui/cli诊断一致性生成的misra合规报告
• 改进了使用 validate 和 qac gui/cli 生成的 misra 合规性报告 helix qac 桌面工具和验证之间的诊断一致性
• 上传性能改进
• webapi 功能,用于与 sdlc 中的其他工具和流程集成
提高生命质量
cli
• 最新版本工程的validata基线支持( qacli 基线)
• validate独立的检查器和忽略功能 ( qacli 上传)
• 抑制同步
gui
• 验证依赖项检查和忽略能力
• 抑制同步到桌面
• misra 合规报告和标准合规报告的改进
eclipse ide 插件
在ide插件中validate的连接支持
rcma
• 分析存储器的使用和效率的提高
helix qac 2023.1中的重要改变
停止使用公告
cct generator在2023停止使用
helix qac 2023.1将不再支持传统的独立cct生成工具。
helix qa c2021.3中引入的’qainject’工具将取代当前的cct发生器。因此,使用遗留工具生成的cct将被弃用,不再受支持。
从qac软件包中移除不支持的静态cct
通过使用带有’qainject’的自动cct生成,改进了对各种编译器的构建监控, 到2023.1,以前包含在helix qac软件包中的大多数静态cct将被删除。自动生成的与使用静态默认cct相比,cct有望提供更准确的分析结果。除了gcc、visual studio和通用编译器之外,所有的静态cct都被移除了。

利用ADS来观测有损耗传输线的眼图特性
Mini LED背光显示大放异彩,直显技术目前情况如何?
将高科技融入家居之中,智能家居将会带来更多便利
倍频器使用延迟线
发光二极管(LED),发光二极管(LED)的原理和作用是什么
静态代码测试工具Helix QAC 2023.1更新快讯:主打编码标准覆盖率
区块链技术正在解决网络零售商所面临的一些问题
大疆发布“御”Mavic 2行业版无人机
用于氟离子电池的溶剂型盐电解质
中功率标准趋成熟 引爆无线充电新商机
关于使用GD32 MCU实现位带操作的指南
小米6抢先三星s8发布骁龙835:雷军或演绎又一段单口相声!
物联网操作系统RT-Thread获纪源资本领投 完成新一轮近亿元B轮融资
持续亮相东京行业技术展 峰岹科技稳扎海外市场
SF-EP1C学习板:DIY数码相框
加特兰获毫米波雷达芯片领军企业称号,CEO陈嘉澍受邀出席世界半导体大会
HOLTEK新推出BS86E20CA Touch A/D MCU
高性价比的蓝牙耳机有哪些,一些无线蓝牙耳机的推荐
公交车到哪了?NB-IoT告诉你!——暨上海市物联网联合开放实验室《NB-IoT行业应用规范指引》
SIP-2401VP SIP号角音柱音箱解码poe广播播放核心板