軟安靜兮SAST靜態(tài)代碼分析工具

 

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

 

產(chǎn)品介紹

 

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

 

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

核心功能

 

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

安全缺陷

 

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

檢查代碼是否符合

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

 

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

 

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

 

 

檢查項目代碼度量

 

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

 

 

代碼審計

 

提供了項目級別的缺陷管理、追蹤、審計、分配、報告生成等一系列功能。

 

創(chuàng)新地通過接入AI大模型，生成智能的缺陷真實性判斷、智能修復(fù)建議，幫助企業(yè)提升代碼審計效率，完成代碼審計閉環(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)的抽象解釋、符號執(zhí)行、約束求解打造分析基座，以及多維漏洞溯源分析技術(shù)、自適應(yīng)優(yōu)化分析技術(shù)和啟發(fā)式敏感信息檢索算法等創(chuàng)新技術(shù)
• 具備強大的跨函數(shù)、跨文件分析能力，讓軟件缺陷無所遁形
• 綜合誤報率低于15%，復(fù)雜的跨函數(shù)缺陷檢出率80%以上

 

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

 

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

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

 

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

 

AI大模型保障高效率代碼審計

 

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