雷靜態(tài)分析系統(tǒng) v1.6

talsta能夠?qū)?c/.cpp文件進(jìn)行代碼靜態(tài)分析。主要分析內(nèi)容包括控制流分析、數(shù)據(jù)流分析、基本度量指標(biāo)的計算、編碼規(guī)則的違反情況檢查、代碼質(zhì)量評估等。

talsta主要功能：
1、控制流分析
能夠生成每個函數(shù)的控制流圖；
能夠生成整個工程中各級模塊內(nèi)部及模塊之間的相互調(diào)用關(guān)系圖。如文件、命名空間、類、函數(shù)等之間的相互調(diào)用關(guān)系。
2、指標(biāo)計算
從代碼、注釋、數(shù)據(jù)流、路徑、復(fù)雜度、循環(huán)、操作符及操作數(shù)等多個角度計算出相應(yīng)的指標(biāo)。
3、規(guī)則檢查
系統(tǒng)以 MISRA、CWE、CVE等為依據(jù)，系統(tǒng)分析了四百余條最常見的編碼問題。
4、質(zhì)量評估
從可讀性、可維護(hù)性以及可測試性等多個角度對不同層級的代碼進(jìn)行了綜合質(zhì)量評定。

talsta拓展功能：
1、漏洞檢測工具
以CWE為基礎(chǔ)，檢查.c文件中存在的數(shù)十種代碼漏洞，如緩沖區(qū)溢出、越界訪問、雙重釋放等等。
2、單元測試系統(tǒng)
對c/c++文件進(jìn)行單元測試、集成測試和回歸測試

軟件截圖

查看安裝過程