当前位置: 首页 > news >正文

【Perforce】Klocwork-规则包导入及同步Validate

1、 文档目标

本文讲述如何在Klowork客户端的界面中导入相应的规则包并且同步至Validate。

2、软件环境

1)、软件版本:Klocwork 2024.4 Validate 2024.4

3、操作指导

1)、使用kwgcheck 打开KW工程、选择File、 Open project...

2)、点击Tools、打开Preferences

3)、点击Analysis Configuration、Configuration Files 再点击 Import...选择需要的规则包进行添加。

4)、点击Issues,选择Taxonomy filter找到MISRA C2023 进行规则配置。

5)、根据下列命令创建项目并分析上传结果。(需build license)

kwadmin --url http://localhost:8085/ create-project KW_S32K kwbuildproject --url http://localhost:8085/KW_S32K --tables-directory kwinject.out kwadmin --url http://localhost:8085/ load KW_S32K /my_tables

6)、在Validate 服务器上打开KW_S32K项目,在 Configuration内看到规则已上传,若在该界面内修改规则,连接至该项目的KW工程规则会同步修改。

http://www.rkmt.cn/news/1393657.html

相关文章:

  • 3PEAK思瑞浦 TPA6582Q-SO1R-S SOP8 运算放大器
  • 构建企业级实时通信平台:Rocket.Chat Android原生客户端架构深度解析
  • 企业如何利用Taotoken为内部知识库构建智能问答模块
  • 支付宝宣布完成AI支付的全域布局,支持95%通用智能体
  • Realtek r8125 DKMS驱动:彻底解决Linux下2.5G网卡的内核兼容性问题
  • 企业微信Java SDK架构设计与高级应用深度解析
  • PurePath Controller(PP_controller)路径跟踪控制器
  • NSudo系统权限管理工具完整指南:5分钟掌握Windows高级权限控制
  • Outfit字体:免费开源的终极品牌字体解决方案,轻松打造专业视觉体验
  • HNU计院操作系统实验8
  • IDM永久激活终极指南:免费解锁完整功能的最佳解决方案
  • 兴化楼市观察:改善需求下的现房低密选择 - 花开富贵112
  • 无监督动态图神经网络:从图嵌入到时序对齐的完整实践
  • 1-16.调试图片是什么?怎么生成?
  • 1-15.代码看不懂怎么办
  • Twine完全指南:三步掌握互动叙事创作神器
  • ARM MPAM架构:多执行环境下的内存资源隔离与监控
  • 《C语言学习:数组》10
  • Linux 日志系统入门:/var/log 和 journalctl 怎么排查问题?
  • 叙事脚本与模拟社交平台:青少年数字素养教育的创新实践
  • 11.1 KFD Context 的设计动机:从单进程单上下文到多上下文隔离
  • 一次通关结构体、位断、联合体和枚举这四大痛点
  • 燃气管网在线监测自动告警系统方案
  • Tablacus Explorer:终极免费文件管理器快速入门指南
  • 正则表达式极速教程
  • 国电华美车载式高压无局放,把试验室“开”到现场
  • 异构感知终端全域统管方案
  • 武汉国电华美车载式高压无局放,现场干活儿的得力帮手
  • 5步掌握Django电子商务项目实战:从零构建完整电商系统
  • 简单好用!WinRAR的三种密码保护方式