青青av-亚洲激情一区二区-欧洲色综合-看片网址国产福利av中文字幕-成人精品毛片-亚洲黄色免费观看-国产夫妻在线观看-69av电影-久久性片-中文字幕av影片-色综合久久久久无码专区

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