FlexeLint for C / C ++

FlexeLint 是強(qiáng)大的靜態(tài)分析工具，它們將檢查您的C / C ++源代碼，并發(fā)現(xiàn)錯誤，故障，不一致，非便攜式構(gòu)造，冗余代碼等等。 它跨越多個模塊。

特性

平臺：

FlexeLint for C / C ++：

Unix和Unix平臺（Linux，AIX，HP-UX，Solaris，Tru64 Unix，MAC等）

OpenVMS

嵌入式系統(tǒng)

幾乎任何平臺支持

兼容性：

支持K＆R C，ANSI C，ANSI / ISO C ++

顯式支持Microsoft，GCC和大多數(shù)其他主要編譯器和庫

支持大多數(shù)主要的嵌入式系統(tǒng)編譯器。

許多選項來支持編譯器

可以為交叉編譯指定標(biāo)量大小

特殊檢查設(shè)施：

自動和靜態(tài)（甚至全局）變量的值跟蹤，以檢測微妙的初始化問題

函數(shù)間價值追蹤 - 強(qiáng)大的語句間價值追蹤跨越函數(shù)邊界。稍后處理使用特定值調(diào)用的函數(shù)，這些值用于初始化參數(shù)。

多通道 - 為了充分利用功能跟蹤和靜態(tài)變量跟蹤，已經(jīng)引入了多通道操作。

使用價值追蹤作為一種啟用技術(shù)，我們支持幾乎100個庫函數(shù)的檢查，這種檢查可以擴(kuò)展到用戶函數(shù)（見函數(shù)模擬）

可選強(qiáng)類型檢查（基于typedef）和豐富的選項集，以檢測標(biāo)稱類型差異。您甚至可以僅使用typedef形成完全檢查的標(biāo)量類型的類型層次結(jié)構(gòu)

用戶定義的函數(shù)參數(shù)和返回值的語義檢查

在整個項目中查找未使用的宏，typedef的類，類，成員，聲明等

檢查可能未初始化變量的控制流。

顯式支持MISRA C和MISRA C ++（TM）標(biāo)準(zhǔn)的子集

其他特殊測試

速度：

使用預(yù)編譯的報頭高速處理多個模塊

消息停止和啟用：

通過消息碼

通過消息碼和符號名（包括通配符）

通過消息碼和符號類型

通過消息碼和消息參數(shù)

單線停止

通過宏名稱

通過消息碼（取決于它是如何包括的庫;這可以通過用戶選項覆蓋）

對于指定的功能，通過消息碼

表達(dá)式

靈活性：

間接文件（嵌套到任何深度）可以包含文件名，選項，環(huán)境變量

錯誤消息的格式可以定制，以支持與各種編輯器和IDE的集成

所有選項都可以嵌入用戶代碼中

性能：

一次快速操作，具有用于函數(shù)間值跟蹤的多遍選項

表將根據(jù)需要擴(kuò)展以處理大型應(yīng)用程序