點擊免費試用PC-lint Plus最新版

功能改進

• PCLP-3218 消息9019更準確地報告出現在an之前的聲明#include指令

消息9019(#include之前的符號聲明)以前沒有報告出現在#include指令之前的聲明，如果先前的#include’d文件包含聲明。在這種情況下，信息9019將被報告。

• PCLP-3241 增加了描述參數化抑制處理相關規則的新部分

新的部分“參數化抑制規則”記錄了重復/類似參數化抑制選項所涉及的一些時間細節。

• PCLP-3258 從產品文檔中刪除不存在的消息2409

消息2409以前從PC-lintPlus中刪除，但消息描述仍然出現在產品文檔和幫助設施中。這一點已得到糾正。 

• PCLP-3269 改進對MISRA C2012細則11.2的支持

消息9076(cast涉及指向void以外的不完整類型的指針)以前只在cast中涉及的兩種類型都是指針時才發出。這導致在指向不完全類型和算術類型的指針之間進行轉換的錯誤否定，現在將被正確診斷。

• PCLP-3289 更新+FAI的描述

對fai標志的描述已經更新，以反映過去對其行為的改進，如以前的修訂歷史中所記錄的那樣。

• PCLP-3303 增加了新的/缺失的CERTC指南

一些新的和缺失的CERTC指南被添加到au-certc.lnt作者文件以及相應的支持表中。新增加的指南有：PRE30-C、EXP11-C、EXP12-C、EXP13-C、EXP14-C、EXP15-C、EXP16-C、EXP19-C、EXP37-C和EXP39-C。

• PCLP-3311 支持具有printf和scanf語義的非變量函數

非變量函數現在支持-printf和-scanf選項以及printf和scanf語義。這允許例如，將printf和scanf語義以及相關的格式字符串檢查應用于從變量函數模板實例化的非變量函數，方法是使用具有相應語義選項的函數模板的名稱。

• PCLP-3320 禁止在擴展assert宏期間發布的消息

已經更新了編譯器.yaml數據庫，使得針對GCC、Clang和Microchip編譯器生成的編譯器配置現在包括以下抑制：

 -emacro(160 523 505 866,assert)

此選項旨在抑制在GCC最近版本中實現的斷言宏擴展期間發出的消息。請注意，這種抑制適用于斷言宏的整個擴展，特別是如果提供給斷言的參數會引發這些消息之一，則它將在宏的擴展范圍內被抑制。可以通過從生成的編譯器配置文件中刪除這個-emacro選項來恢復以前的行為。

• PCLP-3341 從積分值轉換的實現變形指針的跟蹤

值跟蹤先前將積分值轉換為指針的結果解釋為只有當積分值為空指針常量時才產生空指針。雖然它不受C或C++標準的保證，但通常假設（通常但不一定是真的）內存中零指針的積分表示為零。當新標志fnz打開（默認）時，值跟蹤將將將等于零的積分值轉換為指針的結果視為產生空指針，即使積分值不是空指針常數。如果關閉標志，則前面的行為不變。例如，當+fnz打開并使用-vt_depth=2時，本例：

 void invoke_callback(void(*cb)(unsigned int), unsigned int data) {
cb(data);
 }

 void callback_handler(unsigned int data) {
char* p = (char*)data;
*p = 42;
 }

 int main() {
invoke_callback(callback_handler, 0);
 }

現在將報告：

 warning 413: likely use of null pointer ’p’
*p = 42;
^~
 supplemental 894: during specific walk callback_handler(0)
cb(data);
^
 ...
 supplemental 831: cast from integer yields nullptr
char* p = (char*)data;
^~~~~~~~~~~
 ...
 supplemental 831: argument passing yields 0
invoke_callback(callback_handler, 0);
^

• PCLP-3359 為了規則5-0-21的目的，考慮移位運算符是按位運算符
• PCLP-3210 當考慮是否發布消息9130以報告違反規則5-0-21時，移位運算符現在被視為按位運算符。請注意，相反，對于規則5-0-20，移位運算符不被視為按位運算符。
• PCLP-3368 提高對VisualStudio2019更新16.4的支持

由pclp_config.py生成的Visual Studio2019的編譯器配置現在包括更多選項，以改進對Visual Studio2019更新16.4中標準庫的更改的支持。

• PCLP-3374 改進了對IAR編譯器關鍵字在生成編譯器結構中的支持

使用pclp_config生成的IAR編譯器配置現在將包括對以前缺少的編譯器特定關鍵字的更好支持。 對以前錯誤包含在IAR ARM編譯器配置中的關鍵字的支持已被刪除。

• PCLP-381 當在字符串文本中檢測到無效字符編碼時，新消息2536發出警告

消息336是在源文件中檢測到無效字符編碼時報告的，除非問題在字符串文字內。一個不同的錯誤報告在一個前綴字符串文字內的無效字符編碼，但在一個未前綴字符串文字內的無效字符編碼沒有發出消息。新消息2536報告了這個案例。

• PCLP-382 添加一節，記錄支持的輸入文件編碼

在“安裝和配置”一章中的一個新部分指定支持PC-lint Plus處理的輸入文件的文件編碼。

• PCLP-3384 當使用pclpvscfg.exe實用程序生成項目合并時，將從cl.exe/I和-I選項生成的包含選項中的相對路徑轉換為絕對路徑

由pclpvscfg.exe實用程序生成的配置生成批處理文件現在可以識別具有相對路徑的cl.exe/I和-I選項，并將目錄轉換為絕對路徑。若要將此行為應用于其他cl.exe選項，或禁用此行為，請在IMPOSTER_PATH_ARGUMENT_RELATIVE_TO_WORKING_DIR_OPTION_INTRODUCERS中設置環境變量的新行批處理文件可以修改或刪除。

• PCLP-3386 為non_custodial參數語義添加描述和示例non_custodial參數語義現在在保管參數語義之后列出，并包括一個新的示例。

在生成Visual Studio編譯器函數時，為Visual Studio添加有關C++語言標準編譯器選項的注意事項

在創建gcc編譯器配置過程中，前面提到了使用pclp_config.py-編譯器選項。在創建VisualStudio編譯器配置的過程中也提到了它。

• PCLP-3394 不正確地使用+RW和-rw_asgn更優雅的處理

將空參數傳遞給+rw或-rw_asgn之前可能會導致所有保留的單詞注冊和任務，這些選項被忽略。這種對這些選項的誤用現在反而導致錯誤。

• PCLP-3396 當請求選擇時，使用應用程序目錄作為默認位置pclp_config.py在pclpvscfg

pclpvscfg.exe實用程序現在在請求選擇pclp_config.py時默認顯示自己的目錄。

更多更新詳情請查看后續更新內容詳解。