C和C++靜態分析工具PC-lint Plus v1.3.5發布,更新了AUTOSAR,MISRA C和MISRA C++
原創|產品更新|編輯:鄭恭琳|2020-06-29 15:53:48.797|閱讀
532 次
概述:1.3.5版本對PC-lint Plus進行了許多改進。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和標志選項,對Visual Studio配置生成器GUI的改進等。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
PC-lint Plus是一種靜態分析工具,通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣,PC-lint Plus會解析源代碼文件,執行語義分析,并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制,包括數據流分析,數值跟蹤,讀寫分析,強類型檢查,功能語義驗證和許多其他技術,來提供對單個文件和整個項目強大而全面的分析。
點擊免費試用PC-lint Plus最新版
1、改進功能
-
PCLP-964將線程信息添加到內部錯誤和崩潰消息
-
PCLP-1757使用默認構造函數識別顯式初始化并考慮添加標志,使用顯式聲明的默認構造函數隱式初始化為顯式、初始化
-
PCLP-1820支持消息506和改進對消息717的支持
-
PCLP-2298對AUTOSAR A5-0-2和M5-0-14準則的新支持,改進了MISRA C ++,支持規則5-0-13和5-0-14
-
PCLP-2973支持AUTOSAR規則A12-8-7
-
PCLP-2975支持AUTOSAR規則A13-2-3
2、BUG修復
-
PCLP-2812聯合定義的假陽性9045
-
PCLP-2885假陽性550,用于通過lambda中的引用捕獲變量
-
PCLP-3093解決了可能在堆棧使用情況報告中顯示為不完整條目的問題
-
PCLP-3145改進循環內消息438和838的處理
-
PCLP-3176修復消息2427的否定否定
-
PCLP-3179修復內聯或報告主聲明時丟失的位置,constexpr說明符
3、已知問題
-
PCLP-2135靜態變量的假陰性9003
-
PCLP-3196可以在發生遞歸調用的地方間接遞歸調用自身的函數,在調用鏈下面,對另一個函數的遞歸調用可能會被標記為“調用遞歸”
-
PCLP-3213使用顯式強制轉換表達式作為時的假肯定隱式轉換消息,非類型模板參數的模板參數
-
PCLP-3221假陽性413,用于條件評估推論到的指針取消引用,在if條件下,邏輯AND表達式的右側為非null for語句中的語句,在該語句之前指針為空
-
PCLP-3223未實現的未記錄+ fil標志
4、AUTOSAR
-
PCLP-3483支持AUTOSAR規則A13-5-1
-
PCLP-3481支持AUTOSAR規則A7-1-3
-
PCLP-3480對AUTOSAR17規則A5-5-1的新支持
-
PCLP-3206改進對報告塊范圍函數聲明的支持
-
PCLP-3194的改進,以支持A5-2-2
5、MISRA C 2012
-
PCLP-3450改進對宏的ctype.h函數的選擇
-
PCLP-3269改進了對MISRA C 2012規則11.2的支持
-
PCLP-3191改進了對MISRA C 2012規則18.1的支持
6、MISRA C 2004
-
PCLP-3214改進了對MISRA C 2004規則12.8的支持
7、MISRA C ++
-
PCLP-3359考慮到規則5-0-21的目的,將移位運算符視為按位運算符
-
PCLP-3206改進對報告塊范圍函數聲明的支持
-
PCLP-3170改進了const變量免除加入聲明
-
PCLP-2298對AUTOSAR A5-0-2和M5-0-14準則的新支持,改進了MISRA C ++,支持規則5-0-13和5-0-14
更多更新詳情請查看后續更新內容詳解。
標簽:
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@fc6vip.cn