PC-lint Plus是一種靜態分析工具，通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。
在PC-lint Plus最新版本中，PC-lint Plus產品更新了很多新功能，內容較多，分為上下兩篇，上篇查看請點擊這里，現在跟著小編來了解一下吧~

• PCLP-2739 危險的Microsoft Windows API IsBadPtr函數的內置函數語義

添加了內置函數語義，將IsBadCodePtr、IsBadReadPtr、IsBadStringPtrA、IsBadStringPtrW、IsBadWritePtr、IsBadHugeReadPtr和IsBadHugeWritePtr標記為危險。如果使用它們，將發出消息421。

• PCLP-2789 新的non_custodial語義

新的non_custodial自變量語義與現有的自定義語義相反，可用于指示函數不占用其自變量所指向的內存。啟用ffc標志時（默認情況下為ffc），假定接受非const指針的非庫函數將托管指向的內存。此語義可用于單獨指定此假設不合適的功能。

• PCLP-2830 新的+ fup和+ fuu標志可將值報告為null或未初始化后清除它們

添加了新的價值跟蹤標志+ fup和+ fuu。

fuu默認為關閉（-fuu）。當fuu為ON（+ fuu）值將被報告為未初始化后將被完全清除（因此不會在第二次使用時再次報告為未初始化）。

fup默認情況下為OFF（-fup）。該標志類似于fuu，但適用于空指針而不是未初始化的內存。

• PCLP-2836 新消息695-聲明內聯函數而沒有存儲類說明符

新消息695報告在C模式下何時聲明沒有存儲類說明符的內聯函數。

• PCLP-2888 Visual Studio 2019對pclp_config的支持

pclp_config實用程序現在支持Visual Studio 2019，其編譯器名稱為vs2019和vs2019_64。

• PCLP-2910 新消息1423-reinterpret_cast具有未定義的行為

當reinterpret_cast將導致未定義的行為時，將發出新的警告1423。

• PCLP-2929 新的AUTOSAR C ++配置文件

lnt目錄中的新au-autosar.lnt文件提供了對AUTOSAR C ++的入門支持。

• PCLP-2948 新消息1756-變量具有靜態/線程存儲持續時間和非POD類型

新消息1756報告具有靜態存儲持續時間的非constexpr變量何時具有非POD類型。

• PCLP-2949 新消息9215，并將參數添加到消息715

消息9215報告何時使用未命名的參數定義函數。消息715已更新為包括一個字符串參數，該字符串參數指示該功能是否為虛擬功能。

• PCLP-2950 新消息9414-帶有副作用的表達式中使用了“typeid”

消息9414報告何時將typeid運算符與包含副作用的表達式一起使用。

• PCLP-2951 新消息9181-開關包含少于兩種非默認開關情況

消息9181報告何時遇到少于兩種非默認情況的開關。

• PCLP-2952 新消息2618-非類型說明符出現在類型后

當好友、constexpr、thread_local、易變、內聯、虛擬或顯式之一出現在聲明中的類型后，消息2618將報告。

• PCLP-2954 新消息9418-枚舉沒有明確指定的基礎類型

消息9418將報告在C ++ 11或更高版本的模式中定義了沒有顯式指定的基礎類型時的枚舉的情況。

• PCLP-2955 新消息9419-枚舉不是作用域枚舉

當在C ++ 11或更高版本的模式中定義了無作用域的枚舉時，消息9419將報告。

• PCLP-2956 新消息9415-使用列表初始化來初始化“自動”變量

消息9415在使用直接或復制列表初始化對自動變量進行初始化時報告，這可能會產生意外結果。

• PCLP-2957 新消息9420-位域沒有無符號整數或顯式無符號枚舉類型

當聲明的位域的類型不是與實現無關的無符號整數類型時，將發出新消息9420。

• PCLP-2958 新消息9432-類繼承自多個非抽象類

消息9432報告從多個非抽象基類繼承的類。

• PCLP-2963 支持棄用預處理器指令

現在，可以使用-deprecate選項使用ppw類別來棄用預處理指令。將在消息586中報告已棄用的預處理器指令的使用，除非在有條件排除的區域中使用該指令，否則將在新消息886中進行報告。

• PCLP-2966 新消息9422-虛擬功能應準確指定“虛擬”、“替代”或“最終”之一

如果未使用虛擬函數，替代函數或最終函數中的一個確切地聲明虛擬函數，則會發出消息9422。

• PCLP-2967 新消息9421-虛擬功能將覆蓋功能，并且不會標記為“覆蓋”或“最終”

當在C ++ 11模塊中遇到覆蓋基本類函數的虛函數且未使用覆蓋至少一個指定符或最終指定符進行聲明時，將發出消息9421。

• PCLP-2968 新消息1779-類中引入的虛擬功能被標記為“最終”

消息1779報告何時在最終類中聲明虛擬函數并且不覆蓋基類中的任何虛擬函數。

• PCLP-2970 新消息9437-使用“struct”關鍵字定義的非POD類

消息9437報告何時使用struct關鍵字定義了非POD類。

• PCLP-2971 新消息9435-符號已聲明為好友

消息9435報告何時遇到朋友聲明。

• PCLP-2974 診斷文字運算符及其使用的新消息

新消息9433（聲明了文字運算符函數）和9434（使用后綴字符串的用戶定義文字）分別診斷了文字運算符的聲明和使用。

• PCLP-2976 新消息9436-C ++模塊中使用數組類型聲明的符號

消息9436報告何時在C ++模塊中聲明具有數組類型的對象。

• PCLP-2983 新訊息2414

消息2414（非標準文字后綴）將診斷使用非便攜式數字文字后綴。

• PCLP-3015 用于pclp_config的Visual Studio配置GUI

現在可以使用圖形化配置實用程序來簡化為Visual Studio生成編譯器和項目配置的過程。

• PCLP-3017 pclp_config對Microchip MPLAB X的支持

pclp_config.py實用程序現在支持為Microchip MPLAB X生成編譯器配置。

• PCLP-3018 對Keil μVision ARMCC的pclp_config支持

pclp_config.py實用程序現在支持為Keil μVision ARMCC生成編譯器配置。

• PCLP-3026 新的％ENCLOSING_DIRECTORY％內置環境變量

新的內置環境變量％ENCLOSING_DIRECTORY％擴展為出現該選項的配置文件，模塊或標頭的封閉目錄的絕對路徑。在文件外部，它將擴展到當前工作目錄。

• PCLP-3044 新的CERT C配置文件

lnt目錄中的新au-certc.lnt文件提供了對CERT C的入門支持。

本文內容到這里就結束了，想要了解新功能上篇請點擊這里，或者下載PC-lint Plus最新版免費體驗~