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

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

點擊下載PC-lint Plus最新版

文檔改進：

• PCLP-2559 正確描述-zero_err和+ zero_err選項

  -zero_err和+ zero_err選項的描述和相應的示例是錯誤的，已更正。

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

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

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

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

• PCLP-2634 更新了1564的說明

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

• PCLP-2641 改進+ fpe的文檔

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

• PCLP-2804 更新MISRA支持表

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

• PCLP-2811 改進701-704消息文檔

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

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

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

• PCLP-2825 新的MISRA支持摘要

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

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

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

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

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

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

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

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

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

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

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

• PCLP-2905 更新-save和-restore選項的描述

  -save和-restore選項的描述已更新，以更準確地反映它們在PC-lint Plus中的行為。

• PCLP-2907 將可疑的-i警告擴展到--i

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

• PCLP-2911 記錄抑制選項未保留在PCH文件中的事實。

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

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

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

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

  對消息1774的描述已得到改進，更準確地描述了消息的行為。

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

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

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

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

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

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

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