Klocwork是一款現代、靈活的靜態(tài)代碼分析器，適用于C、C++、C#、Java、JavaScript、Python和Kotlin的靜態(tài)檢測，可以識別軟件中的潛在缺陷，在開發(fā)最前期保證代碼的安全性和可靠性，幫助軟件遵循相應的編碼規(guī)范。
Klocwork專為企業(yè)級DevOps/DevSecOps構建，可拓展到任何規(guī)模的項目檢測，尤其適用于大型復雜開發(fā)環(huán)境，可實現不同編譯環(huán)境的自由切換；支持增量分析；提供Web端管理平臺，為項目協(xié)作提供極大便利；提供可定制化報告，適應不同項目要求。
Klocwork的主要功能特性：
- 基于SAST（靜態(tài)應用程序安全測試）查找安全漏洞
Klocwork具有內置的檢查程序，在DevOps(DevSecOps)流程中自動檢查源代碼中數百個潛在的安全漏洞，確定必須修復的缺陷，并在Validate端給出詳細的指導，幫助開發(fā)人員高效修復源碼中存在的問題，提高代碼的安全性、可靠性和合規(guī)性。
- 支持DevOps
Klocwork工具的設計以持續(xù)集成和持續(xù)交付為首要思想，這使得將靜態(tài)代碼分析作為CI/CD的一部分變得容易，從而使開發(fā)人員能夠更早、更頻繁地發(fā)現代碼缺陷。
增量分析：通過Klocwork Server的系統(tǒng)上下文數據，在整個系統(tǒng)已經分析完成后，可以僅分析已更改的文件，提供差異分析結果。這種方式可以盡可能減少分析耗時。
易于自動化：Klocwork工具有強大的命令行界面，我們可以基于命令行實現任何靜態(tài)分析操作，這為實現測試流程自動化提供了極大便利。
容器化構建：Klocwork可以在容器化和云構建的系統(tǒng)中運行，為能夠使用內部云或者外部云服務進行代碼靜態(tài)分析提供最大限度的靈活性和機會。
- 支持行業(yè)標準要求的編碼規(guī)范
Klocwork支持的行業(yè)標準：IEC 61508、ISO 26262、EN 50128、DO-178B/C、 IEC 62304、FDA。在相關標準下涉及到的編碼規(guī)范有MISRA、AUTOSAR、CERT、CWE、OWASP、DISA STIG、PCI DSS、C Secure、JSF AV C++、NASA，針對以上編碼規(guī)則，Klocwork提供一站式支持，并且您可以根據項目要求定制化編碼規(guī)范，這使得通過靜態(tài)分析自動化遵循編碼規(guī)范變得非常簡單。
同時，Klocwork支持通過Klocwork Checker Studio定制化檢查規(guī)則。開發(fā)/測試工程師可以借助Klocwork Abstract Syntax Tree (KAST)抽象語法樹快速輕松地創(chuàng)建定制的安全檢查，契合不同項目的靜態(tài)分析要求。
- 提供網頁端集中式分析與管理平臺——Klocwork Validate
Klocwork Validate集中執(zhí)行深度代碼靜態(tài)分析，并提供高度可定制的管理平臺，使開發(fā)人員、主管和其他項目相關人員能夠：
- 定義全局或特定項目的 QA 、安全目標以及規(guī)則配置。
- 控制訪問權限和審批流程。
- 查看趨勢圖和度量數據，掌握項目質量和趨勢。
- 生成合規(guī)性和安全性報告，支持報告的高度定制化。
- 根據嚴重程度、位置和生命周期確定缺陷的優(yōu)先級。
- 使用 Smart Rank幫助開發(fā)人員根據缺陷可能性確定修復的優(yōu)先級，結合問題嚴重性（Critical/Error/Warning…），提供整體漏洞風險評分。
- 針對診斷問題提供詳細的修改說明。
- 區(qū)分新問題與遺留代碼問題
- 將積壓問題推送到變更控制系統(tǒng)。
- 將Helix QAC調查結果導入并集成到Klocwork SAC，實現在單個儀表板中查看和管理合并的分析結果。
- 支持的IDEs
- Supported C/C++ IDEs：CLion、Eclipse、Wind River Workbench、QNX Momentics、Microsoft Visual Studio、Visual Studio Code
- Supported C# IDEs：Microsoft Visual Studio、Visual Studio Code
- Supported Java IDEs：Android Studio、Eclipse、IBM Rational Application Developer for WebSphere、JetBrains IntelliJ IDEA、Visual Studio Code
- Supported JavaScript/Kotlin/Python IDEs：Visual Studio Code
- 支持的編譯器
無需用戶配置，Klocwork為數百個編譯器和交叉編譯器提供開箱即用的支持。
- 支持的操作系統(tǒng)
- Amazon Linux 2、CentOS、Debian、Fedora、Oracle Linux、OpenSUSE、SUSE Enterprise、Red Hat Enterprise Linux、Ubuntu
- Windows 8.1、Windows 10 versions 1809 to 21H2、Windows Server 2012 to R2、Windows Server 2016、Windows Server 2019
資質認證
Klocwork通過了ISO、IEC、EN的TüV-SüD合規(guī)認證，可用于信息安全、功能安全相關軟件的開發(fā)測試。針對IEC 61508（工業(yè)標準）可達SIL4， ISO 26262（汽車功能安全）可達ASIL D， EN 50128（鐵路交通）可滿足SW-SIL4等級要求， IEC 62304（醫(yī)療）Software Safety Class C)標準，幫助客戶用更少的時間完成產品認證。
圖 1 資質認證證書
關于原廠：
Perforce是一家DevOps解決方案提供商，其產品覆蓋版本控制軟件、應用程序生命周期管理平臺、敏捷規(guī)劃軟件以及用于靜態(tài)代碼分析的Klockwork等。Perforce有40,000多個客戶，涵蓋從熱門游戲廠商、半導體公司到著名互聯(lián)網公司、汽車行業(yè)、銀行及金融公司等各行各業(yè)。在靜態(tài)分析領域，它有30多年軟件開發(fā)和測試經驗，是MISRA編碼委員會和AUTOSAR組織的會員，參與編寫編碼規(guī)范，是靜態(tài)分析領域公認的行業(yè)領導和先驅。
客戶列表（部分）
技術支持
由通過Klocwork資質認證的專業(yè)技術團隊提供技術支持。
技術咨詢
根據您的行業(yè)及項目需求，為您提供最佳靜態(tài)測試解決方案（Klocwork、Helix QAC），助力提升測試效率。
產品試用
聯(lián)系北匯信息，根據您項目需要提供試用許可，幫助您部署軟件及解決應用問題。
