日韩中文在线观看-欧美性综合-伊人视频在线观看-亚洲免费在线视频观看-国产偷人视频-人妻丰满熟妇岳av无码区hd-国产一级淫片a视频免费观看-国产精品交换-国产精品1区2区3区4区-美女日批视频在线观看-欧美日韩一区二区三区自拍

1、 文檔目標

本文講述如何在Klowork客戶端的界面中導入相應的規(guī)則包并且同步至Validate。

2、軟件環(huán)境

1）、軟件版本：Klocwork 2024.4 Validate 2024.4

3、操作指導

1）、使用kwgcheck 打開KW工程、選擇File、 Open project...

2）、點擊Tools、打開Preferences

3）、點擊Analysis Configuration、Configuration Files 再點擊 Import...選擇需要的規(guī)則包進行添加。

4）、點擊Issues，選擇Taxonomy filter找到MISRA C2023 進行規(guī)則配置。

5）、根據(jù)下列命令創(chuàng)建項目并分析上傳結果。（需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內看到規(guī)則已上傳，若在該界面內修改規(guī)則，連接至該項目的KW工程規(guī)則會同步修改。