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