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

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

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

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

軟件截圖

查看安裝過程