PC-lint Plus是一種靜態(tài)分析工具，通過分析C和C ++源代碼來發(fā)現(xiàn)軟件中的缺陷。與編譯器一樣，PC-lint Plus會(huì)解析源代碼文件，執(zhí)行語義分析，并構(gòu)建一個(gè)抽象語法樹來表示程序。PC-lint Plus采用各種機(jī)制，包括數(shù)據(jù)流分析，數(shù)值跟蹤，讀寫分析，強(qiáng)類型檢查，功能語義驗(yàn)證和許多其他技術(shù)，來提供對單個(gè)文件和整個(gè)項(xiàng)目強(qiáng)大而全面的分析。

本文描述了在PC-lint Plus v1.3版本中的更新內(nèi)容之一，文檔改進(jìn)的內(nèi)容，感興趣的朋友可以請看下面內(nèi)容~

點(diǎn)擊下載PC-lint Plus最新版

文檔改進(jìn)：

• PCLP-2559 正確描述-zero_err和+ zero_err選項(xiàng)

  -zero_err和+ zero_err選項(xiàng)的描述和相應(yīng)的示例是錯(cuò)誤的，已更正。

• PCLP-2561 完全由通配符組成的模式的文檔行為

  PC-lint和PC-lint Plus始終對待完全由與模式*等效的通配符組成的模式，例如??匹配任何內(nèi)容，不僅是消息或具有2位數(shù)字/字符的字符串，而且從未記錄過此行為。現(xiàn)在在有關(guān)通配符的部分中描述了這種特殊情況下的行為。

• PCLP-2583 消息686的文檔變體，用于可疑-i選項(xiàng)

  現(xiàn)在記錄了可能為-i選項(xiàng)的可疑路徑發(fā)出的各種形式的消息686。

• PCLP-2634 更新了1564的說明

  消息1564的描述已更新，以闡明消息是針對等于0或1的整數(shù)常量表達(dá)式（如果它們不是整數(shù)文字）發(fā)出的。 

• PCLP-2641 改進(jìn)+ fpe的文檔

  + fpe標(biāo)志的文檔已得到改進(jìn)，可以更清楚地說明每種可能狀態(tài)的行為。

• PCLP-2804 更新MISRA支持表

  《參考手冊》中的MISRA支持表中有幾條規(guī)則與相應(yīng)的.lnt文件中使用的消息不匹配，或者被錯(cuò)誤地標(biāo)記為不支持。支持表已適當(dāng)更新。

• PCLP-2811 改進(jìn)701-704消息文檔

  更改701-704消息文檔，以指示僅在sizeof（type）<= sizeof（int）時(shí)才發(fā)出701和703，否則發(fā)出702和704。

• PCLP-2822 消息1526和1714不為私人成員發(fā)布

  消息1526（未定義的成員函數(shù)）和1714（未引用的成員函數(shù)）的描述已更新，以闡明這些消息不是為私有成員發(fā)布的。 

• PCLP-2825 新的MISRA支持摘要

  手冊的MISRA部分現(xiàn)在在相應(yīng)的支持矩陣之前包括摘要表。

• PCLP-2861 為消息757和758闡明了global的含義。

  消息757和758的描述已更新，以闡明這些消息的文本中使用的global的含義。

• PCLP-2864 澄清579的消息描述

  對消息579的描述（省略號前面的參數(shù)不能為字符串）進(jìn)行了澄清，以指定相關(guān)參數(shù)為緊接在省略號之前的參數(shù)，這是根據(jù)C和C ++標(biāo)準(zhǔn)的未定義行為，并且現(xiàn)在包括字符串的可能值發(fā)出消息時(shí)的參數(shù)。

• PCLP-2883 診斷后期多線程輸出重定向選項(xiàng)的可疑使用

  遇到第一個(gè)模塊后，帶有-oe和-os選項(xiàng)的輸出重定向不能確定性地用于多個(gè)線程。輸出重定向是在整個(gè)過程范圍內(nèi)的，當(dāng)使用多個(gè)線程時(shí)，每個(gè)模塊將在線程完成時(shí)將其整個(gè)輸出發(fā)送到當(dāng)前輸出位置（該位置可能已由另一個(gè)線程設(shè)置，因此導(dǎo)致輸出取決于線程完成的順序） 。

• PCLP-2898 更新并區(qū)分1764和1746的描述

  消息1764和1746的文本已更新，以闡明消息1764報(bào)告可以將已經(jīng)具有引用類型的參數(shù)作為const的引用，而消息1746報(bào)告可以將非引用類型的參數(shù)作為參考這可以做成const。

• PCLP-2899 更正消息901、1731和1906的引用。

  消息901、1731和1906先前在消息的描述中引用了錯(cuò)誤的參考，這些參考已得到糾正。

• PCLP-2905 更新-save和-restore選項(xiàng)的描述

  -save和-restore選項(xiàng)的描述已更新，以更準(zhǔn)確地反映它們在PC-lint Plus中的行為。

• PCLP-2907 將可疑的-i警告擴(kuò)展到--i

  現(xiàn)在也為--i提供了-i路徑的可疑選項(xiàng)警告。

• PCLP-2911 記錄抑制選項(xiàng)未保留在PCH文件中的事實(shí)。

  現(xiàn)在，文檔闡明了抑制選項(xiàng)未保留在生成的PCH文件中。

• PCLP-2916 MISRA C 2012的正確可判定分類規(guī)則11.2

  MISRA C 2012支持矩陣中的輸入錯(cuò)誤地表明規(guī)則11.2尚不確定，已更正。

• PCLP-3003 更新消息1774的描述

  對消息1774的描述已得到改進(jìn)，更準(zhǔn)確地描述了消息的行為。

• PCLP-3010 版本和Beta狀態(tài)已添加到手冊中

  現(xiàn)在，手冊的第一頁列出了它隨附的PC-lint Plus版本。 Beta版本的手冊現(xiàn)在每頁的右下角都有一個(gè)BETA標(biāo)簽。

相關(guān)內(nèi)容推薦：

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

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

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

想要購買PC-lint Plus正版授權(quán)，或了解更多產(chǎn)品信息請點(diǎn)擊