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