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

在PC-lint Plus最新版本中，改進了關于MISRA C ++的內容，現在就跟著小編來看看更新了哪些內容吧~

點擊下載PC-lint Plus免費版

MISRA C ++的改進：

• PCLP-2700 消息9114（MISRA C ++ 5-0-3）現在即使僅轉換基礎類型而未轉換實際類型，也報告違反規則

  現在將發出消息9114，以進一步違反此規則，在該規則中，C ++語言中沒有進行任何轉換，但是MISRA基礎類型仍然發生了更改。例如，當在sub-int操作數上使用二進制算術運算符時，在執行操作之前，這些操作數已被提升為int，并且如果將結果賦給int類型的對象，則結果將不會進行任何進一步的實際轉換。現在，這些情況將報告從sub-int操作數類型到目標類型的概念性基礎類型轉換。請注意，其他類似規則（例如MISRA C ++ 5-0-4）已經以這種方式運行。

• PCLP-2705 改進了對MISRA C ++規則7-1-1的支持

  除了消息952（參數可以是const）之外，消息953（局部變量可以是const）和843（靜態存儲持續時間變量可以是const）現在支持MISRA C ++規則7-1-1。

• PCLP-2741 改進了對MISRA C ++規則5-2-4的支持

   新消息1946（使用功能樣式轉換將類型轉換為類型）改進了對MISRA C ++規則5-2-4的支持。

• PCLP-2774 糾正誤報1536消息

  1536的處理未正確處理指針成員變量。例如，以下將為指示的行生成1536消息：

• PCLP-2798 改進了對規則5-0-3和5-0-6的復合賦值運算符的支持

  擴展了對規則5-0-3和5-0-6的支持，以報告由復合分配操作員隱含的操作引起的違規行為。

• PCLP-2832 改進了對MISRA C ++規則3-9-3的支持

  當采用浮點型對象的地址時，不再發出消息9110。現在，新消息2499和2498報告了使用具有memcmp語義的函數來分別比較指向浮點型對象的指針，或指向包含浮點型對象的結構的指針。

• PCLP-2877 支持數字相關的字符算術例外

  MISRA C ++ 2008規則4-5-3中與算術操作和代表數字的字符比較有關的例外現在應用于消息9112和9128。

• PCLP-2880 忽略消息9141（7-3-1）的所有外部“C”聲明

  對于帶有外部“C”鏈接的任何聲明，將不再發出消息9141。以前，有問題的特定聲明必須明確標記為extern“C”才能被豁免，但這對于friend聲明是不可能的，而對于以前聲明為extern“C”的函數的其他重新聲明則是不必要的。

• PCLP-2881 新的解釋選項限制了用于基礎類型確定的常量表達式的定義

  新的MISRA C ++ 2008解釋忽略了const變量的常量表達式基礎類型規則，將避免應用規則，該規則將整數常量表達式的基礎類型確定為當表達式涉及const或constexpr變量時能夠表示該常量的最小類型。默認情況下，此解釋為關閉。

• PCLP-1840 MISRA C ++ 2008規則5-2-8僅向一個方向強制轉換

  規則5-2-8以前由選修的notes 923和925的支持，該選修筆記報告了該規則涵蓋的類型之間的類型轉換，而與方向無關。它們已由消息9079和新消息9010代替，它們僅報告沿禁止方向的投射。

• PCLP-2908 改進了對MISRA C ++規則7-1-2的支持

  現在，消息1764（功能的引用參數可以引用const）補充了消息818（參數可以是指向const的指針）以支持MISRA C ++規則7-1-2。

• PCLP-2939 改進了對MISRA C ++ 2008規則4-10-2的支持

  當在另一個宏中擴展NULL時，使用NULL宏作為空指針常量的情況不再被報告為違反MISRA C ++規則4-10-2。

• PCLP-2943 改進了對MISRA C ++規則2-13-2的支持

  現在已通過消息9001報告八進制常量的使用，這違反了MISRA C ++規則2-13-2。

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