幫助企業(yè)在軟件編碼和測試過程中低成本解決質(zhì)量和安全問題

 

產(chǎn)品介紹

 

軟安靜兮（StatiCode）是由軟安科技自主研發(fā)的一款智能代碼分析工具，基于多種先進(jìn)檢測技術(shù)，擁有?主可控的分析引擎和強(qiáng)?的規(guī)則庫，能夠深?剖析?研、外包和開源代碼，精準(zhǔn)識(shí)別其中的安全漏洞、代碼缺陷、代碼度量問題以及編碼規(guī)范問題。結(jié)合AI大模型，將缺陷真實(shí)性智能判斷和智能修復(fù)建議融入到缺陷審計(jì)的功能中，提升企業(yè)代碼審計(jì)的效率和準(zhǔn)確性。助?企業(yè)快速定位問題、及時(shí)修復(fù)，構(gòu)建完善的安全軟件管理體系，全?位保障軟件質(zhì)量。

 

軟安靜兮獲得由國際知名認(rèn)證機(jī)構(gòu)TÜV北德頒發(fā)的ISO 26262＆IEC 61508認(rèn)證證書，可以用于任何ASIL等級的開發(fā)過程，并提供包括但不限于MISRA、AUTOSAR、CWE、CERT、GJB等編碼規(guī)范檢查以及核心的運(yùn)行時(shí)缺陷檢測

核心功能

 

檢測代碼中的質(zhì)量

安全缺陷

 

分析軟件代碼中的可能會(huì)對軟件的質(zhì)量或安全造成威脅的缺陷，助力企業(yè)和組織提升軟件質(zhì)量安全等級。

檢查代碼是否符合

各類主流編碼規(guī)范

 

檢查軟件代碼是否符合各類國內(nèi)外廣泛使用的不同行業(yè)的編碼規(guī)范。

 

助力企業(yè)和組織保持編碼風(fēng)格的規(guī)范和一致，并通過相關(guān)合規(guī)性認(rèn)證。

 

 

檢查項(xiàng)目代碼度量

 

提供代碼行數(shù)、注釋率、缺陷密度、圈復(fù)雜度、函數(shù)扇入扇出、詞匯復(fù)雜度、嵌套深度等度量指標(biāo)檢測，幫助研發(fā)團(tuán)隊(duì)觀測項(xiàng)目代碼可維護(hù)性。

 

 

代碼審計(jì)

 

提供了項(xiàng)目級別的缺陷管理、追蹤、審計(jì)、分配、報(bào)告生成等一系列功能。

 

創(chuàng)新地通過接入AI大模型，生成智能的缺陷真實(shí)性判斷、智能修復(fù)建議，幫助企業(yè)提升代碼審計(jì)效率，完成代碼審計(jì)閉環(huán)。

 

 

產(chǎn)品優(yōu)勢

領(lǐng)先的規(guī)則庫

 

• 支持C、C++、Java、JavaScript、TypeScript、Python、Golang、PHP等15 種語言
• 內(nèi)置數(shù)百條軟安核心質(zhì)量缺陷/安全漏洞規(guī)則
• 支持MISRA C/C++ 2008/2023，AUTOSAR C++，CERT C/C++，GJB 5369/8114，GB/T 34944/34943等規(guī)則集

 

領(lǐng)先的檢測精度

 

• 融合靜態(tài)分析領(lǐng)域的前沿理念與創(chuàng)新方法，通過傳統(tǒng)的抽象解釋、符號(hào)執(zhí)行、約束求解打造分析基座，以及多維漏洞溯源分析技術(shù)、自適應(yīng)優(yōu)化分析技術(shù)和啟發(fā)式敏感信息檢索算法等創(chuàng)新技術(shù)
•  具備強(qiáng)大的跨函數(shù)、跨文件分析能力，讓軟件缺陷無所遁形
•  綜合誤報(bào)率低于15%，復(fù)雜的跨函數(shù)缺陷檢出率80%以上

 

領(lǐng)先的檢測效率

 

•  推薦配置下（16核CPU，64GB內(nèi)存），1小時(shí)完成150~200萬行代碼分析
•  支持超過1億行大型項(xiàng)目完整分析

專業(yè)的技術(shù)服務(wù)

 

•  根據(jù)企業(yè)需求進(jìn)行技術(shù)團(tuán)隊(duì)培訓(xùn)和方案設(shè)計(jì)，保障代碼安全落到實(shí)處
•  7x24售后支持，快速響應(yīng)

 

 

 

 

 

AI大模型保障高效率代碼審計(jì)

 

•  接入AI大模型，底層引擎投喂代碼片段、數(shù)據(jù)流、函數(shù)模型
•  生成智能缺陷誤報(bào)真實(shí)性判斷和智能修復(fù)建議，提升代碼審計(jì)效率