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

• PCLP-2022 添加+ ffi來格式化大的整數(shù)值和相對于附近整數(shù)限制的范圍

默認情況下，新標志ffi為OFF。啟用后，顯示較大整數(shù)值和范圍的Value Tracking消息將相對于附近的有符號或無符號整數(shù)類型限制進行格式化。例如，5 +（uint32_t）-1將顯示為（UINT32_MAX + 5），而2147480000將顯示為（INT32_MAX-3647）。

可以將正值與有符號或無符號類型限制進行比較，而與值表達式類型的有符號性無關。負值將僅相對于有符號整數(shù)類型最小值顯示。值可以完全匹配限制，也可以在任一方向上偏移。偏移量受限制的平方根大小限制（例如，將32位限制限制為16位偏移量）。不符合相對格式標準的整數(shù)仍將按字面意義打印。范圍的每一側都被獨立考慮。根據(jù)值，可以相對格式顯示一個、兩個或兩個都不顯示。

• PCLP-2173 對CERT C的入門支持

新的au-certc.lnt作者文件（在PC-lint Plus發(fā)行版的lnt /目錄中）支持CERT C。

• PCLP-2193 在“值跟蹤”中跟蹤指針到成員類型的對象的值

現(xiàn)在，“值跟蹤”將跟蹤從地址運算符的應用派生到非靜態(tài)成員的合格名稱所得出的指針成員類型的對象的值，并評估指針成員運算符*和-> *。

• PCLP-2247 將+ fcv添加到免除參數(shù)中，該參數(shù)的唯一參考是將指示可以將它們設為const的消息轉換為void

默認情況下，新標志fcv為OFF。啟用該選項后，如果對參數(shù)的唯一引用是強制轉換為void，則PC-lint Plus不會報告該參數(shù)可以設為const（或指向const的指針等）。

• PCLP-2333 在imposter實用程序中添加選項以適應相對路徑

imposter實用程序現(xiàn)在支持新選項，以處理涉及相對路徑到絕對路徑的編譯器參數(shù)轉換。

• PCLP-2477 支持0.NaN和0.Infinity

PC-lint Plus現(xiàn)在支持某些嵌入式編譯器使用的特殊0.NaN和0.Infinity浮點常量。

• PCLP-2483 新消息2666-具有副作用的表達式已傳遞給宏的未擴展參數(shù)

當使用似乎包含副作用但未擴展相應參數(shù)的參數(shù)調用類似函數(shù)的宏時，會發(fā)出新的警告2666，例如：

#define DEBUG_VAL(x)

int process(int i) {
DEBUG_VAL(++i); // 2666 - increment doesn’t occur
/* ... */
return i;
}

• PCLP-2484 新消息9501-函數(shù)調用中的預處理指令

現(xiàn)在，當預處理指令出現(xiàn)在函數(shù)調用中時，將發(fā)布新的選修注釋9501，例如：

void init_buffer(void *buffer) {
memset(buffer, 0,
#ifdef LARGE_BUFFER
1024
#else
128
#endif
);

• PCLP-2488 新消息973-宏中的一元運算符未加括號

現(xiàn)在，當宏定義中出現(xiàn)不帶括號的一元運算符時，將發(fā)出選修注釋973，例如：

#define N -1

• PCLP-2503 新消息823-宏的定義以分號結尾

消息823將報告以分號結尾的宏定義，例如

#define SQUARE(x) ((x)*(x));

將報告：

info 823: definition of macro ’SQUARE’ ends in semi-colon
#define SQUARE(x) ((x)*(x));
^

• PCLP-2562 新消息9040-成員可能的struct hack聲明

過時的“struct hack”技術用于聲明可變長度的結構或聯(lián)合成員。該技術已被C標準中的“靈活的數(shù)組成員”所取代。當檢測到這種“struct hack”時，新消息9040將報告。

• PCLP-2571 新消息9502-多語句宏未包含在monocarpic do-while循環(huán)中

當do-while（0）循環(huán)中未包含多語句宏時，新消息9502將報告。

• PCLP-2577 新消息3419-浮點型靜態(tài)數(shù)據(jù)成員的類內初始化程序是GNU擴展

添加了新消息3419（類型為type的靜態(tài)數(shù)據(jù)成員符號的類初始化器是GNU擴展），以警告為C++03模式中的浮點類型的靜態(tài)數(shù)據(jù)成員提供類初始化器的不可移植的行為。

• PCLP-2625 支持BARR-C：2018（以前是Netrino）編碼準則

此版本的PC-lint Plus使用發(fā)行版的lnt /目錄中包含的au-barr.lnt文件，支持Barr Group的“嵌入式C編碼標準” BARR-C：2018。 BARR-C：2018是PC-lint 9支持的Netrino編碼標準的更新版本。與Netrino提供的PC-lint 9相比，PC-lint Plus為該版本提供了更大的支持。

• PCLP-2699 信號的新語義和消息

新功能語義：

-async_signal_unsafe：在信號處理程序中調用不安全，觸發(fā)2670

-signal_handler：將函數(shù)標記為信號處理程序

-exception_signal_handler：除了signal_handler之外，還觸發(fā)2671和2764

-signal_register（n）：參數(shù)n將使用前面參數(shù)的信號編號注冊為信號處理程序，以確定是否為異常信號注冊了信號處理程序新消息：

-2670：當具有signal_handler語義的函數(shù)調用具有async_signal_unsafe語義的函數(shù)時發(fā)出

-2761：當具有signal_handler語義的函數(shù)調用不具有async_signal_safe語義的函數(shù)時發(fā)出

-2762：當具有signal_handler語義的函數(shù)調用具有信號函數(shù)的特殊語義的函數(shù)時發(fā)出

-2763：當具有signal_handler語義的函數(shù)調用具有信號函數(shù)的特殊語義的函數(shù)來注冊自身時發(fā)出

-2671：當具有exception_signal_handler語義的函數(shù)包含return語句時發(fā)出

-2764：當具有exception_signal_handler語義的函數(shù)似乎沒有顯式結束程序時發(fā)出

• PCLP-2722 具有新名詞參數(shù)語義的新隨機數(shù)生成器和種子函數(shù)消息

當調用rand / random但從未調用srand / srandom時，將發(fā)出新消息2461。當調用srand/srandom并給出時間結果時，將發(fā)出新的消息2760。一個新的論點語義，名義上，已被添加。如果具有名義語義的參數(shù)的自變量是文字（整數(shù)、浮點、字符或字符串），則將發(fā)出新消息2460。如果具有名義語義的參數(shù)的參數(shù)是整數(shù)常量表達式，則將發(fā)出新消息2960。

在此版本中，PC-lint Plus新功能更新得比較多，小編把這些內容分為上下兩篇，想要了解后半部分內容請繼續(xù)關注我們網(wǎng)站~您也可以下載PC-lint Plus最新版免費評估~

相關內容推薦：

C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內容：新消息摘要

C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內容：修復錯誤（上）

C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內容：修復錯誤（下）

C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內容：文檔改進

想要購買PC-lint Plus正版授權，或了解更多產品信息請點擊