智能引擎,自動識別多種語言,守護代碼安全,支持C、C++、JAVA、C#、Scala、Groovy、Kotlin、.net等多種語言的混元檢測
支持多種文件導入方式及檢測規(guī)則的靈活配置,最大程度方便使用。支持單文件、文件夾、壓縮包(ZIP,RAR,GZ,7Z 等常用格式)、與版本管理的同步(SVN、CVS、GIT)等四種導入方式。檢測范圍包括語義缺陷、編碼規(guī)則、安全漏洞,可靈活配置
工具有基本檢測引擎和人工智能檢測引擎兩大類,支持跟蹤編譯檢測源,也支持代碼檢測,即編譯不通過檢測?;緳z測引擎如:到達值分析、前支配分析、后支配分析、活躍變量分析等;人工智能檢測引擎如:代碼基因圖譜分析、修改影響分析、類繼承關系分析、多態(tài)分析等
提供圈復雜度、函數(shù)扇入、函數(shù)扇出、代碼注釋率、代碼行數(shù)、循環(huán)嵌套深度、循環(huán)數(shù)目、面向對象度量集等軟件全方位度量
根據(jù)用戶指定的任意內(nèi)容,自動生成函數(shù)間調(diào)用關系圖、控制流圖,代碼審計等
實現(xiàn)代碼克隆分析,準確定位克隆代碼
提供修改影響分析、類繼承關系分析、多態(tài)分析、程序切片、區(qū)間分析、約束求解、抽象語法樹、變更Binding分析、控制流分析、調(diào)用分析、值依賴分析、控制依賴分析等多個SDK開發(fā)包
在軍工、政務、重要經(jīng)濟領域加快推廣具有自主知識產(chǎn)業(yè)的基礎軟件迫在眉睫;國外操作系統(tǒng)和軟件如果存在后門,可能隨時完全控制重要系統(tǒng),威脅到我國政務、經(jīng)濟領域的信息安全
通過引入基于代碼的安全保密產(chǎn)品源代碼缺陷檢測工具,針對高?;蛘吣硯最惾毕葸M行針對性的深度檢測,檢測出軟件潛在安全漏洞,達到更精準的檢測效果,為領域軟件提供更安全可靠的保障。該工具檢測速度、檢測效果等性能已經(jīng)達到或超過國際同類產(chǎn)品
通過運用靜態(tài)分析技術,針對安全編程標準的相關要求對軟件代碼進行安全合規(guī)性檢測。能夠自動識別安全漏洞、質量缺陷;能夠自動產(chǎn)生軟件質量報告,檢測出各類網(wǎng)站高危漏洞220余條;處置網(wǎng)絡安全事件近15000起。目前,已建立一套完整的安全測試審計制度,減少由不規(guī)范、不安全的編碼而產(chǎn)生的安全性漏洞
世界知名企業(yè)互聯(lián)網(wǎng)業(yè)務,網(wǎng)站安全至關重要,如何保證是重中之重。上萬的軟件研發(fā)人員,研發(fā)過程中,大量采用開源項目或插件等,為系統(tǒng)埋下了隱患
源代碼缺陷檢測工具能夠準確識別交易系統(tǒng)代碼中的嚴重缺陷和安全漏洞,并且提供可行的修正建議來降低軟件錯誤和安全漏洞,減少修復成本和系統(tǒng)風險。同時,提高代碼交付質量;提升研發(fā)人員的安全意識;研發(fā)人員編碼遵守規(guī)范,減少引入缺陷的風險