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

1、 問(wèn)題場(chǎng)景

在使用Kwcheck、kwgcheck、VScode調(diào)用時(shí)默認(rèn)生成的消息無(wú)法上傳至Validate，本文檔講解如何使用命令上傳Local消息至Valdiate。

2、軟硬件環(huán)境

1）、軟件版本：Klocwork2024.2、Validate 24.2

2）、電腦環(huán)境：Windows 11

3）、外設(shè)硬件：無(wú)

3、目標(biāo)分析

1）、首先運(yùn)行kwinjeck make命令生成 .out文件，再運(yùn)行

kwcheck run --system --classic -b kwinject.out

對(duì)項(xiàng)目進(jìn)行分析并顯示項(xiàng)目屬性，可看到默認(rèn)消息屬性為L(zhǎng)ocal。

2）、 使用下列命令創(chuàng)建數(shù)據(jù)庫(kù) ， VS為Valdiate Project的名稱(chēng)，my_tables是本次創(chuàng)建的數(shù)據(jù)庫(kù)名稱(chēng)

kwbuildproject -url http://localhost:8080/VS -o my_tables kwinject.out

3）、使用admin 命令將 VS my_tables的數(shù)據(jù)庫(kù)上傳至Validate，再運(yùn)行kwcheck可看到項(xiàng)目變?yōu)镾ystem項(xiàng)目。

kwadmin --url http://localhost:8080/ load VS my_tables

kwcheck run --system --classic -b kwinject.out