點擊免費試用PC-lint Plus最新版

功能改進

• PCLP-964 將線程信息添加到內部錯誤和崩潰消息中
• PCLP-3162 內部錯誤和崩潰消息現在包括由發生錯誤的線程處理的文件名，如果它是可用的。
• PCLP-1757使用默認構造函數識別顯式初始化，并添加標志，使用顯式聲明的默認構造函數考慮隱式初始化是顯式初始化

對于消息727、728、729和738，現在可以識別使用函數語法調用默認構造函數的顯式初始化。此外，如果打開新標志fde，那么消息727、728和738將考慮使用顯式聲明的默認構造函數進行隱式初始化，以構成顯式初始化。默認情況下，標志是關閉的。消息729的描述已經更新，以注意C++類的現有異常。

• PCLP-1820 支持報文506，提高對報文717的支持

PC-lint Plus現在支持消息506。消息717已經從只覆蓋整數文字0擴展到還包括false以匹配消息716，它已經考慮了1和true。這兩條消息現在都包含文字，即使是在需要轉換的時候。

• PCLP-2298 對AUTOSAR A5-0-2和M5-0-14指南的新支持，改進了MISRAC++對規則5-0-13和5-0-14的支持

新消息9177（語句條件具有非布爾型)和9178(條件運算符的謂詞具有非布爾型）為MISRAC提供了改進的支持++規則5-0-13和5-0-14，其中消息909（隱式布爾轉換）以前用于提供部分支持。新消息現在也用于支持AUTOSAR A5-0-2和M5-0-14準則。

• PCLP-2973 支持AUTOSAR規則A12-8-7

AUTOSAR規則A12-8-7現在得到新消息9185的支持(賦值操作符聲明沒有lvalue ref-qualifier)。

• PCLP-2975 支持AUTOSAR規則A13-2-3

 AUTOSAR規則A13-2-3現在由新消息9186（用于比較函數的非布爾返回類型）支持。

• PCLP-2996 堆棧使用信息現在以確定性順序出現

堆棧使用消息和堆棧使用報告以前可以以不同的順序列出函數，從一個運行到另一個運行，即使只使用一個線程。堆棧使用信息現在以確定性的順序呈現。

• PCLP-3085 更新文件關于手冊凝結沒有pclp_conftg
• PCLP-3367 第2.4節已經更新，以更準確地反映當代配置過程。
• PCLP-31101 基于范圍的抑制的性能改進

分析包含大量基于范圍的抑制的項目時的性能(例如--e(#)）已經改進。

• PCLP-3117 禁止在顯式默認函數主體PC-lintPlus內部發出的消息表示默認函數，使用自動生成的默認函數的實現。對于顯式默認函數（使用=默認語法的函數），PC-lintPlus以前將這些生成的實現與用戶代碼進行相同的分析，這可能導致不受歡迎的診斷，而這些診斷不反映編寫的源代碼。 例如：

 struct X {
int array[10];
void f(X a, X b) { a = b; }
X& operator=(const X&) = default;
 };

將導致消息545（獲取數組地址）以及用于實現復制分配運算符功能的幾個可選注釋。

顯式默認函數的內部實現不再受此分析的影響。

• PCLP-3119 消息981不再用于模板實例化

消息981（冗余鑄造）不再在模板實例化中發布。

• PCLP-3146 用于描述消息1544的更新示例

消息1544的描述（由于運行時間初始化，變量的值不確定）已經被更新，以包括一個更好地闡明消息發布情況的示例。

• PCLP-3170 改進Const變量豁免選擇-in解釋

MISRA C++解釋忽略了以前應用于常量變量的常量表達式基礎類型規則，該變量的值僅在豁免遞歸地應用于所有這些操作數時才依賴于多個操作數。如果所有其他操作數都是整數常量表達式，那么任何這樣的操作數都可以被豁免。

• PCLP-3171 更新消息1919的描述

對消息1919的描述已經更新，以更清楚地闡明其目的。

• PCLP-3172 更新消息1930的描述

消息1930的描述已經更新，以澄清沒有報告顯式轉換運算符。

• PCLP-3184 參數化抑制和+paraminfo支持補充消息894和897

消息894現在可以使用對應于特定步行描述的字符串參數和對應于特定步行調用的函數的符號參數來抑制。只有當調用者和callee的主體在同一個模塊內時，符號才可用。現在可以使用一個字符串參數來抑制消息897，該參數對應于實例化是一個“類”模板還是一個“函數”模板，一個字符串參數對應于在消息文本中出現的帶有模板參數的實例化名稱，以及與實例化的聲明相對應的符號參數。請注意，符號參數可以同時使用-esym和-etype來抑制。+paraminfo選項現在可以與兩個消息以及消息893一起使用（消息893已經將宏名作為字符串參數提供）。

• PCLP-3185 記錄消息893、894和897不受直接單行抑制的影響

對！e選項的描述現在注意到消息893、894和897不受直接單行抑制的影響。

• PCLP-3188 刪除未使用的補充消息890的列表

補充消息890不再包含在消息列表中，因為它沒有被使用。

• PCLP-3191 改進對MISRA C2012的支持

消息2662（指針上的指針算法可能不引用數組）已添加到支持MISRAC2012規則18.1的消息列表中，從而增強了對該規則的支持。

• PCLP-3193 改進了對消息857的數組參數的處理

消息857(memcmp/memcpy/memmove函數中的參數不兼容)以前沒有發出，當時分析函數調用的前兩個參數中的一個或兩個參數都是經過數組以指針衰減的數組。這樣的調用現在是857的候選，并且將適當地分析不兼容的參數。

• PCLP-3194 改進支助A5-2-2

準則A5-2-2以前得到1924號電文的支持。現在，1954年的新消息使它得到了增強，該消息報告已失效。這兩個消息現在都由源類型和目標類型參數化。

• PCLP-3199 澄清消息9075對對象操作，而不是函數

消息9075的描述（外部符號在沒有事先聲明的情況下定義）以前暗示消息在只報告對象定義時同時報告對象和函數定義。消息的描述已經細化，消息957報告定義的功能，沒有原型在范圍內。

• PCLP-3202 消息829現在被發布，用于使用多個包含#pragma once，現在適用于預編譯頭

消息829（以前為報頭發出了一個+的報頭警告選項）以前只是在第一次發出指定的報頭是#include’d時發出的，當時報頭使用了一個#pragma once指令，或者受到報頭保護，并且fho標志選項處于活動狀態。如果頭的第一個包含出現在庫代碼中（其中此消息通常被抑制），那么隨后在非庫代碼中包含頭將不會被診斷。消息829現在為適當的標題發出，而不管是否存在#pragma once或頭保護。

• PCLP-3203 正確的錯誤描述信息9134

消息9134的描述已被更新，以替換消息文本中使用預期未簽名的單詞的出現。

• PCLP-3206 改進對報告塊范圍函數聲明的支持

消息1798已添加到AUTOSARM3-1-2和MISRAC++規則3-1-2。消息9108在C++模塊中不再受限制。這兩條信息的描述已經澄清。

• PCLP-3207 改進靜態存儲持續時間變量的處理，當調用帶有斷言語義的函數時

跟蹤靜態局部變量和全局變量，在調用函數時具有內置的特殊語義斷言功能已得到改進。

• PCLP-3212 報告通過成員-init-list初始化發生的隱式轉換。當轉換發生在成員列表初始化中時，一些隱式轉換消息（包括712、915、919和9117）沒有發出。現已報告這種轉換。
• PCLP-3214 改善對信息管理系統C2004年的支助

消息9234（移位量超過操作數的底層類型的大小），用于支持MISRAC2004規則12.8，現在報告了除了簡單的移位操作符之外涉及復合移位分配的違規行為。

更多更新詳情請查看后續更新內容詳解。