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

點(diǎn)擊下載PC-lint Plus最新版

從前面的PC-lint Plus v1.3更新新聞中我們了解到，v1.3版本中，一共引入了50多條先消息，現(xiàn)在就跟著小編來了解具體內(nèi)容吧~

新消息摘要：

• 180：無法為類型取決于字符串的符號(hào)symbol生成錯(cuò)誤的名稱

• 311：間接文件深度超出了“整數(shù)”的限制

• 398：致命錯(cuò)誤（由選項(xiàng)要求）：“字符串”

• 399：致命錯(cuò)誤（由選項(xiàng)要求）：“字符串”

• 886：在有條件排除的區(qū)域中遇到的預(yù)處理程序指令“名稱”已被棄用。（字符串）

• 1422：默認(rèn)構(gòu)造函數(shù)符號(hào)默認(rèn)在類外部

• 1423：從類型到類型的reinterpret_cast具有未定義的行為

• 1756：變量符號(hào)具有“靜態(tài)/線程”存儲(chǔ)持續(xù)時(shí)間和非POD類型

• 1779：在類符號(hào)中引入了虛擬功能符號(hào)，該符號(hào)被標(biāo)記為“Final”

• 1946：使用功能樣式轉(zhuǎn)換將type類型轉(zhuǎn)換為type類型

• 2414：非標(biāo)準(zhǔn)文字后綴“string”

• 2460：字符串文字字符串，作為參數(shù)整數(shù)提供給函數(shù)符號(hào)

• 2461：使用了“rand / random”功能，而未明確調(diào)用“srand / srandom”

• 2470：多個(gè)連續(xù)推送流無法移植

• 2471：已關(guān)閉的流上的操作

• 2472：模式字符串“string”中的非標(biāo)準(zhǔn)文件模式字符/組件“string”

• 2473：文件模式字符串“string”不是合法的文件打開模式：string

• 2474：嘗試刷新未開放寫入的流

• 2475：嘗試在輸入操作后刷新流

• 2476：嘗試對(duì)未打開供讀取的流執(zhí)行讀取操作

• 2477：嘗試對(duì)未打開進(jìn)行寫入的流執(zhí)行寫入操作

• 2478：嘗試在寫入后對(duì)流執(zhí)行讀取操作，而沒有中間刷新或重新定位

• 2479：嘗試在讀取后對(duì)流執(zhí)行寫操作，而沒有中間的重新定位

• 2480：嘗試在寬流操作之后對(duì)流執(zhí)行面向字節(jié)的操作

• 2481：嘗試在字節(jié)流操作之后對(duì)流執(zhí)行面向?qū)ο蟮牟僮?

• 2498：比較type類型的成員符號(hào)的浮點(diǎn)值的對(duì)象表示形式可能會(huì)產(chǎn)生與值相等測(cè)試不同的意外結(jié)果

• 2499：比較type類型的浮點(diǎn)值的對(duì)象表示形式可能會(huì)產(chǎn)生與值相等測(cè)試不同的意外結(jié)果

• 2601：將自動(dòng)變量符號(hào)的地址傳遞給功能符號(hào)的參數(shù)整數(shù)

• 2618：非類型說明符“字符串”出現(xiàn)在類型之后

• 2666：帶有副作用的表達(dá)式傳遞給宏“字符串”的未擴(kuò)展參數(shù)整數(shù)

• 2670：在信號(hào)處理程序類別符號(hào)中調(diào)用異步信號(hào)不安全功能符號(hào)

• 2671：從異常信號(hào)處理程序符號(hào)返回

• 2761：調(diào)用信號(hào)處理程序類別符號(hào)中的非異步信號(hào)安全功能符號(hào)

• 2762：調(diào)用信號(hào)處理程序類別符號(hào)中的信號(hào)注冊(cè)功能符號(hào)

• 2763：調(diào)用信號(hào)處理程序類別符號(hào)中的信號(hào)注冊(cè)功能符號(hào)以進(jìn)行自身注冊(cè)

• 2764：異常信號(hào)處理程序符號(hào)未明確結(jié)束程序

• 2765：引用了在信號(hào)處理程序類別符號(hào)中既不是原子的也不是易揮發(fā)的sig_atomic_t的變量符號(hào)

• 2960：整數(shù)常量表達(dá)式，值整數(shù)作為函數(shù)符號(hào)的參數(shù)整數(shù)提供

• 3419：類型為type的靜態(tài)數(shù)據(jù)成員符號(hào)的類初始化程序是GNU擴(kuò)展

• 9010：從整數(shù)type類型轉(zhuǎn)換為指針type類型

• 9040：具有整數(shù)元素的詳細(xì)成員符號(hào)的可能的結(jié)構(gòu)hack聲明

• 9181：開關(guān)包含少于兩個(gè)非默認(rèn)開關(guān)案例

• 9215：“虛擬/非虛擬”功能符號(hào)的未命名參數(shù)

• 9414：“typeid”用于具有副作用的表情

• 9415：使用“字符串”列表初始化來初始化“自動(dòng)”變量符號(hào)

• 9418：枚舉符號(hào)沒有明確指定的基礎(chǔ)類型

• 9419：枚舉符號(hào)不是作用域枚舉

• 9420：位域符號(hào)沒有無符號(hào)整數(shù)或顯式無符號(hào)枚舉類型

• 9421：虛擬功能符號(hào)會(huì)覆蓋功能符號(hào)，并且不會(huì)標(biāo)記為“覆蓋”或“最終”

• 9422：虛擬功能符號(hào)應(yīng)完全指定“虛擬”、“替代”或“最終”之一

• 9432：類符號(hào)具有多個(gè)非接口基

• 9433：聲明文字運(yùn)算符功能符號(hào)

• 9434：使用帶有后綴字符串的用戶定義文字

• 9435：字符串符號(hào)在類符號(hào)中聲明為朋友

• 9436：符號(hào)symbol具有數(shù)組類型type

• 9437：使用“struct”關(guān)鍵字定義的非POD類符號(hào)

• 9502：多語句宏“名稱”未包含在單掌do-while循環(huán)中

本文內(nèi)容就是這樣了，希望文章內(nèi)容對(duì)您有所幫助！后續(xù)小編將會(huì)更新“修復(fù)的bug”的內(nèi)容，敬請(qǐng)期待哦~感興趣的朋友可以下載PC-lint Plus最新版搶先體驗(yàn)~

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