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

點擊下載PC-lint Plus最新版

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

新消息摘要：

• 180：無法為類型取決于字符串的符號symbol生成錯誤的名稱

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

• 398：致命錯誤（由選項要求）：“字符串”

• 399：致命錯誤（由選項要求）：“字符串”

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

• 1422：默認構(gòu)造函數(shù)符號默認在類外部

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• 2671：從異常信號處理程序符號返回

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

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

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

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

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

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

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

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

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

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

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

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

• 9415：使用“字符串”列表初始化來初始化“自動”變量符號

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

• 9419：枚舉符號不是作用域枚舉

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

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

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

• 9432：類符號具有多個非接口基

• 9433：聲明文字運算符功能符號

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

• 9435：字符串符號在類符號中聲明為朋友

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

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

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

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

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