0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

静态代码测试多语言特长生: Klocwork 2023.2更新快讯

北汇信息POLELINK 2023-08-01 15:19 次阅读

随着 2023.2 的发布,Klocwork 为 C、C++C#Java 和 JavaScript 分析提供了更新和改进。MISRA C:2012 AMD 2覆盖率和DISA STIG ASD C/C++高严重性规则覆盖率高达83%。还引入了针对 C 语言检查器的附加路径分析。

Validate平台现在具有增强的问题浏览和筛选功能。

其他增强功能包括改进Microsoft Visual Studio 插件和 Project Streams in Validate 的稳定性和性能。

审查Validate中的问题
现在,您可以通过查看、修改和导航问题搜索列表,更轻松地在Validate中查看问题,而无需离开“Issue Details”页面。

• 通过新的“File Navigation”窗格搜索单个文件并探索问题,该窗格启用在使用相同浏览器时在会话之间持久存在的配置。

其他Validate平台改进
• 使用 "度量元 "报告设计器在Validate中编辑阈值和总度量值报告定义。
• 利用新的命令行应用程序包,为Validate命令提供通用命名。

C/C++ 分析引擎
改进了 C/C++ 的语言功能覆盖率和缺陷检测
• 增强了对 C++14 和 C++17 分析的支持。
• 添加了几个 MISRA 规则并增加了 MISRA C:2012(最高 AMD 2)的覆盖范围。
• 增加了对 DISA STIG 高严重性规则、CERT、OWASP 和 CWE 的覆盖范围,包括为 2022 年 CWE Top 25 最危险的软件弱点添加分类法。

C# 分析引擎
改进了对 C# 8.0 语言规范的支持。新的语言功能支持包括:
接口中的静态构造函数。
• 接口中的嵌套类型和运算符声明。
• 内插verbatim字符串。
• 范围和索引支持 …和 ^ 运算符。
• 使用新引擎对 C# 检查程序进行额外的路径分析。

Java 分析引擎
扩展了 Java 14 语言规范的覆盖范围。新功能包括:
• 改进路径分析检查程序对 Java 14 的支持。
• 100% 覆盖 Jakarta EE。

JavaScript 分析引擎
• JavaScript 分析支持 .eslintignore 文件
• 用于指定项目目录的 kwjsspec 工具的新选项
○ --project-dir

编码标准
Klocwork 2023.2 的新标准和扩展标准覆盖范围和分类标准:
• CERT
• CWE – 2022 CWE Top 25 最危险的软件弱点
• DISA STIG v 5 - C/C++ 高严重性规则高达 83%
• MISRA – 改进了 MISRA C:2012 AMD 2 覆盖范围(需要支持人员提供额外实用程序,以实现最大覆盖范围)
• OWASP

产品体验改进
Microsoft Visual Studio插件
使用 Visual Studio 扩展更快地开始分析。
• 在使用 kwcheck 命令作为外部分析引擎时,我们改进了 Visual Studio 扩展的构建规范生成性能。

项目流
改进了大量项目流的Validate平台的性能。
• 显示和使用项目流清单所需的时间大大减少。

第三方依赖项
• 软件包中包含Apache Tomcat和Open JDK的升级版本。
有关新增功能的更多详细信息,请参阅发行说明。

Klockwork 2023.2 的重要变化
许可证管理更改
自 2023.2 起,Klocwork 工具现在使用 Reprise 许可证管理器 (RLM) v15.0。
• 重要提示:升级后的 RLM v15.0 服务器包含在 Klocwork 2023.2 安装中。任何早期的 RLM 服务器都需要升级到此版本才能与 Klocwork 2023.2 及更高版本配合使用。升级到 RLM v15.0 解决了在与服务器连接量较大的情况下Validate 2023.1 的服务器稳定性可能出现的问题。
• 2022 许可证与 Klocwork 2023.2 不兼容。升级时,请联系 info@polelink.com 以获取新许可证。

2022.4 SR/补丁可用
已创建 2021.4 至 2022.4 的补丁,以解决自动删除版本中丢失的引用问题。Klocwork 2023.1 及更高版本不受影响。

• 使用 2022.4 的所有客户都应升级到该软件的最新版本。


声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 测试
    +关注

    关注

    8

    文章

    4458

    浏览量

    125128
  • 嵌入式
    +关注

    关注

    4983

    文章

    18295

    浏览量

    288597
  • 嵌入式软件测试

    关注

    1

    文章

    24

    浏览量

    6043
收藏 人收藏

    评论

    相关推荐

    代码静态测试工具 Klocwork 2024.1版新功能解读

    Klocwork 2024.1为Perforce的持续安全和代码合规性平台Validate引入了新的功能和改进。现在,Validate的升级过程更快、更稳健、对用户更友好。您可以去除项目、优先迁移、无需服务器重启单独迁移项目、无缝处理迁移失败等等。
    的头像 发表于 04-26 10:42 85次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b><b class='flag-5'>测试</b>工具 <b class='flag-5'>Klocwork</b> 2024.1版新功能解读

    Vitis2023.2使用之—— updata to Vitis Unified IDE

    上一章聊了一下vitis2023.2怎样使用classic Vitis IDE,这章我们来说一说基于classic Vitis IDE的工程怎么样更新到新版本的Vitis Unified IDE
    发表于 03-24 17:14

    这个多语言包 怎么搜不到

    大家好,这个多语言包怎么搜不到 seven language lib 谁有离线包不 感谢分享,
    发表于 03-24 10:06

    语言模型(LLMs)如何处理多语言输入问题

    研究者们提出了一个框架来描述LLMs在处理多语言输入时的内部处理过程,并探讨了模型中是否存在特定于语言的神经元。
    发表于 03-07 14:44 149次阅读
    大<b class='flag-5'>语言</b>模型(LLMs)如何处理<b class='flag-5'>多语言</b>输入问题

    语言模型中的语言与知识:一种神秘的分离现象

    自然语言处理领域存在着一个非常有趣的现象:在多语言模型中,不同的语言之间似乎存在着一种隐含的对齐关系。
    发表于 02-20 14:53 154次阅读
    大<b class='flag-5'>语言</b>模型中的<b class='flag-5'>语言</b>与知识:一种神秘的分离现象

    Klocwork—符合功能安全要求的自动化静态测试工具

    Klocwork是Perforce公司产品,主要用于C、C++、C#、Java、 python和Kotlin代码的自动化静态分析工作,可以提供编码规则检查、代码质量度量、
    的头像 发表于 01-16 16:26 236次阅读
    <b class='flag-5'>Klocwork</b>—符合功能安全要求的自动化<b class='flag-5'>静态</b><b class='flag-5'>测试</b>工具

    多语言开发的流程详解

    现在不少应用都是要求有多语言切换的, 使用QT开发上位机也同样需要做多语言功能, 不过QT是自带了多语言翻译功能, 可以很方便的借助原生工具进行, 下面就简单来看看多语言开发的流程!
    的头像 发表于 11-30 09:08 392次阅读

    S7-1500:设置CPU语言的步骤

    对于CPU上文本的多语言管理,必须使用CPU的多语言属性来选择项目中所需的语言。这是例如 ProDiag消息文本使用多种语言所必需的。
    的头像 发表于 11-16 16:13 413次阅读
    S7-1500:设置CPU<b class='flag-5'>语言</b>的步骤

    如何在TSMaster面板和工具箱中实现多语言切换

    TSMaster软件平台已经提供了多语言的支持,对于软件内部用户二次开发的模块如Panel和工具箱模块,TSMaster也提供了多语言的支持。这一特性让基于TSMaster开发的工程只需要制作
    的头像 发表于 11-11 08:21 331次阅读
    如何在TSMaster面板和工具箱中实现<b class='flag-5'>多语言</b>切换

    基于LLaMA的多语言数学推理大模型

    MathOctopus在多语言数学推理任务中,表现出了强大的性能。MathOctopus-7B 可以将LLmMA2-7B在MGSM不同语言上的平均表现从22.6%提升到40.0%。更进一步,MathOctopus-13B也获得了比ChatGPT更好的性能。
    发表于 11-08 10:37 221次阅读
    基于LLaMA的<b class='flag-5'>多语言</b>数学推理大模型

    蚂蚁集团开源高性能多语言序列化框架Fury解读

    Fury 是一个基于 JIT 动态编译和零拷贝的多语言序列化框架,支持 Java/Python/Golang/JavaScript/C++ 等语言,提供全自动的对象多语言 / 跨语言
    的头像 发表于 08-25 17:05 740次阅读
    蚂蚁集团开源高性能<b class='flag-5'>多语言</b>序列化框架Fury解读

    静态代码分析器工具Helix QAC 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率

    Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率,并更新相应的合规性模块以支持 MISRA C:2023。 此外,此版
    的头像 发表于 07-31 22:53 774次阅读
    <b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析器工具Helix QAC <b class='flag-5'>2023.2</b>: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率

    达观曹植大模型正式对外公测!专注于长文本、多语言、垂直化发展

    工程实践经验,已开发出具有长文本、多语言、垂直化三大特点的专用国产“曹植”大语言模型。7月伊始,达观正式对外发布“曹植”大语言模型应用公测版,可在达观数据官网申请试用! 申请通道与规则 1 申请通道 公司官网申请通道
    的头像 发表于 07-12 15:04 606次阅读
    达观曹植大模型正式对外公测!专注于长文本、<b class='flag-5'>多语言</b>、垂直化发展

    HarmonyOS低代码开发-多语言支持及屏幕适配

    多语言支持:低代码页面支持多语言能力,让应用开发者无需开发多个不同语言的版本。开发者可以通过定义资源文件和引用资源两个步骤以使用多语言能力。
    发表于 05-23 14:37

    开源PX4 / PIXHAWK系列开源飞控系统介绍

    用于ArduPilot/APM的主要飞行代码使用C++编写。支持工具使用多语言编写,最常用的是python。目前,主要载具代码编写为“.pde”文件,由Arduino构建系统得来。
    发表于 05-06 09:57 1.2w次阅读
    开源PX4 / PIXHAWK系列开源飞控系统介绍