產(chǎn)品概述
Klocwork是Perforce公司產(chǎn)品，主要用于C、C++、C#、Java、 python和Kotlin代碼的自動化靜態(tài)分析工作，可以提供編碼規(guī)則檢查、代碼質(zhì)量度量、測試結(jié)果管理等功能。Klocwork可以擴(kuò)展到大多數(shù)規(guī)模的項(xiàng)目，與大型復(fù)雜環(huán)境、各種開發(fā)工具集成，并提供控制、協(xié)作和報(bào)告。Klocwork提供即時(shí)的分析結(jié)果，同時(shí)保持準(zhǔn)確性，并支持CI/CD、容器、云服務(wù)和機(jī)器配置集成，進(jìn)行自動化測試，保護(hù)您的軟件在每次提交時(shí)免受漏洞的傷害。

Klocwork能夠較為全面而準(zhǔn)確地發(fā)現(xiàn)軟件中潛在的問題，例如：可發(fā)現(xiàn)代碼中的質(zhì)量缺陷和安全漏洞；發(fā)現(xiàn)軟件中運(yùn)行時(shí)錯誤及缺陷以及不合規(guī)范代碼；發(fā)現(xiàn)危險(xiǎn)、過于復(fù)雜和不可移植代碼等問題。目前已廣泛應(yīng)用于汽車電子商務(wù)、醫(yī)療器械、生產(chǎn)和通信等領(lǐng)域。

功能及特點(diǎn)

• 主要功能

? DevSecOps：Klocwork可以集成到CI/CD工具、容器、云服務(wù)等，便于實(shí)現(xiàn)自動化測試流程

? 編碼規(guī)范檢查：支持CWE、OWASP、CERT、ISO/IEC TS 17961、MISRA C 2012、AUTOSAR C++等多種常見行業(yè)規(guī)范的檢查

? 缺陷檢查：SQL注入、溢出、可靠性低等問題

? 代碼bug檢查：空指針解引用、內(nèi)存泄漏等問題

? 軟件質(zhì)量度量：復(fù)雜度度量，包括圈復(fù)雜度、注釋占比等，可以擴(kuò)展定制的復(fù)雜度度量

• 與開發(fā)過程集成

? 差異分析

? 易于自動化

? 容器化構(gòu)建

• 項(xiàng)目管理和報(bào)告輸出

? 配置全局或特定于某項(xiàng)目的規(guī)則

? 控制不同人員的訪問權(quán)限，進(jìn)行協(xié)同代碼評審

? 查看項(xiàng)目質(zhì)量的趨勢和度量數(shù)據(jù)

? 生成多樣化的報(bào)告

? 基于嚴(yán)重程度、位置和生命周期確定缺陷優(yōu)先級

? 區(qū)分新問題和遺留問題

• 面向開發(fā)人員

? 無需用戶配置編譯器：Klocwork為數(shù)百個編譯器和交叉編譯器提供了開箱即用的支持，可以方便地與編譯器集成

? 與IDE集成：支持常見IDE的插件（VS，Eclipse，IntelliJ等），可直接集成到IDE中，代碼修改后，在IDE插件提供差異分析結(jié)果

? 詳細(xì)的幫助文檔：缺陷和編碼違反是根據(jù)風(fēng)險(xiǎn)的嚴(yán)重程度確定的，對于每個缺陷和編碼違規(guī)，可以查看幫助文檔，為理解缺陷和違規(guī)提供幫助

? 自定義規(guī)則：為了更高級的需求，工具提供了用戶自定義規(guī)則的接口，支持用戶根據(jù)實(shí)際需要自定義檢查規(guī)則

支持的編碼規(guī)范

• 可持續(xù)集成：支持命令行形式執(zhí)行分析，能夠?qū)崿F(xiàn)與持續(xù)集成環(huán)境（如Jenkins等）進(jìn)行集成，且支持Jenkins插件

資質(zhì)認(rèn)證證書

• Klocwork支持的功能安全標(biāo)準(zhǔn)：ISO 26262（汽車）、IEC 61508（一般工業(yè)）、IEC
  62304（醫(yī)療）、DO-178B/C（其他）

應(yīng)用行業(yè)

• 汽車行業(yè)
• 能源技術(shù)行業(yè)
• 醫(yī)療服務(wù)行業(yè)
• 嵌入式開發(fā)

應(yīng)用案例