Klocwork是一款現代化的C/C++/Java/JS/C#代碼質量靜態檢測工具,利用領先的深度數據流分析技術,靜態地跨類、跨文件地查找軟件運行時缺陷、錯誤和安全漏洞,并準確定位錯誤發生的代碼堆棧路徑。結合對代碼的編寫規范、安全性和結構等問題的檢測,Klocwork從項目的早期開始就能快速提高代碼質量。Klocwork支持包括瀑布、敏捷、DevOps/DevSecOps等多種開發模式,符合常見的研發標準的要求。Klocwork可以與軟件開發和測試過程無縫集成,并覆蓋整個研發流程,分析過程可以定時或者按需完全自動化地在Klocwork Server端完成,然后將測試結果實時發布給使用團隊,所有的測試結果、質量趨勢和修復情況都可以在Klocwork的報告平臺上進行查看和跟蹤。
Klocwork適用于各種規模大小的應用程序,支持百萬行甚至千萬行代碼的大型項目,分析速度快,準確率高,使用方便。憑借這些方面的顯著優勢,Klocwork已經成為諸如國防軍工、航空航天、通訊、電力電子、汽車電子和能源等行業廣泛使用的靜態分析工具。
核心價值
自動查找代碼缺陷,快速提升軟件質量
靜態掃描軟件安全漏洞,提高軟件安全性
編碼規則分析保證代碼風格的統一性
加快開發速度,無縫集成到研發流程
由點及面覆蓋大規模團隊化應用
適用大規模代碼檢測
顯著降低人工代碼走查的工作量
優勢和亮點
Klocwork支持自動化掃描1000多種代碼缺陷,包括空指針、資源及內存泄漏、未捕獲的異常、除零等,全面檢測代碼質量問題
Klocwork提供全面的安全規則掃描能力,支持CWE, OWASP, CERT, PCI DSS, DISA STIG, 和ISO/IEC TS 17961等標準深度數據流分析能力強、準確率高、漏報率低
支持對規則的自定義和啟用/禁用/抑制
Klocwork通過集成第三方商用解析器原生支持超過50種常用編譯開發環境
支持與CI/CD工具和集成,完美符合DevOps/DevSecOps等快節奏開發模式
現代化的B/S+C/S部署方式,更便于團隊化部署和擴展
Klocwork支持靜態檢測軟件應用的安全漏洞,包括SQL注入、被污染的數據、緩存溢出、弱代碼實現及其它多種常見應用安全漏洞
Klocwork支持百萬行甚至千萬行以上的代碼靜態分析,分析速度快
全面支持多種開發語言,包括各種主流標準或版本的C/C++, Java, JS和C#等
Klocwork提供豐富的第三方集成,支持常用的IDE,如Eclipse, Visual Studio, IntelilJ Idea等
Klocwork以代碼缺陷分析和安全漏洞檢測為核心,同時提供編碼規則和代碼結構檢測的功能,滿足各種場景需要
Klocwork提供多樣的報告和儀表板便于項目管理和測試結果追蹤
主要功能
軟件質量缺陷檢測
安全漏洞掃描
編碼規則掃描
規則定制
支持DevOps
團隊部署和報告
認證和鑒定
Klocwork利用其領先的深度數據流分析功能,可以對C/C++/Java/JS/C#軟件的常見錯誤、質量缺陷和風險代碼進行檢測,跨類、跨文件地查找問題發生點,并顯示完整的堆棧路徑。Klocwork支持查找的錯誤類型包括空指針、數組越界、內存和資源泄漏,未初始化訪問、死鎖、未捕獲的異常、除零、不可達代碼等常見錯誤類型,可以細分為1000多項檢查項。Klocwork支持百萬行甚至千萬行以上的軟件的靜態分析,分析速度快、準確率高、漏報少。Klocwork讓研發團隊在開發初期就能盡早發現代碼中的潛在質量缺陷,即所謂的“左移”,以此提高靜態分析工具的采用率,并縮短了項目測試周期,顯著降低了后期修復缺陷的成本。
Klocwork的數據流分析引擎可以對軟件的安全編碼規范和漏洞進行全面掃描,覆蓋CWE, OWASP, CERT, PCI DSS, DISA STIG, 和ISO/IEC TS 17961等安全標準,有效地保證軟件系統的安全性。Klocwork所支持檢測的安全漏洞類型包括SQL注入、跨站腳本、污染數據、不安全的代碼等常見的軟件應用安全漏洞。Klocwork的安全漏洞掃描功能支持C/C++, Java, JS和C#多種語言開發的應用程序。使用Klocwork的安全漏洞掃描功能,可以滿足包括汽車網絡安全、金融銀行業、政府公共事業等信息安全關鍵性領域的安全合規審計要求。
Klocwork內建了多種常見的為了保證軟件質量的通用編碼規則集,如MISRA C/C++, AutoSAR C++14, JSF AV C++等。使用Klocwork對代碼進行編碼規范檢測,一方面是為了滿足相關行業合規或代碼走查的需要,另一方面可以對常出現的代碼質量缺陷進行預防,即在每行代碼開發初期就可以通過最佳實踐的編程規范來避免危險的、不安全的、或不合理的代碼出現,從源頭上保證代碼的質量。
Klocwork支持用戶根據自身的需求定制靜態分析規則?;贙locwork提供的定制接口,用戶可以創建符合企業現有開發準則的靜態分析規則集,以實現用自動化的方式替代原本人工完成的代碼走查工作,加快了產品研發速度。Klocwork所提供的圖形化規則自定義工具操作簡便,保證了實施的效率。Klocwork規則定制的功能適用于C/C++, Java, C#等多種開發語言。
Klocwork提供豐富的功能來滿足DevOps/DevSecOps對開發流程快速迭代的要求。Klocwork從誕生之初就是按照持續集成(CI)和持續交付(CD)的理念進行設計開發的。Klocwork支持與Jenkins等CI/CD系統的插件集成,將對代碼的靜態分析無縫集成到日常持續集成的流程中,大大降低了靜態分析工具實施的難度。Klocwork支持差異化分析,即使用來自 Klocwork Server 的系統上下文數據,可以只分析發生變化的文件,同時還提供差異分析結果,就好像整個系統都被分析過一樣,從而顯著縮短每次靜態分析的時間。另外,Klocwork還提供完整的RESTAPI和XML/JSON/PDF格式的數據接口,并可以在云容器和云構建系統中運行,支持按需配置,從而提供了使用內部或外部云服務分析的最大靈活度和便利。Klocwork對DevOps的支持實現了更早地對每一行代碼進行檢測,并利用其評審/注釋、任務跟蹤和質量趨勢分析等功能保證測試結果被能及時地修復。
Klocwork支持大規模的團隊協作和部署,集成了代碼版本服務器、構建服務器、開發者桌面和Klocwork報告平臺,形成一套完整的代碼靜態分析和質量管理平臺方案。Klocwork提供豐富的報告和儀表板,Klocwork Portal儀表板集中存儲整個組織中代碼庫的分析數據、趨勢、靜態度量和分析配置,用戶可以通過Web瀏覽器訪問。Klocwork的儀表板支持高度定制化,使開發人員、主管和其他利益相關者能夠:1)定義全局的或面向項目的QA,安全目標和規則配置;2)控制訪問權限和審批流程;3)查看趨勢圖和度量數據以掌握項目質量、進度和預測情況;4)生成合規性和安全性報告;5)根據嚴重性、位置和生命周期對Klocwork所檢測出的缺陷進行優先級排序;6)將新問題與歷史遺留代碼區分開來查看和管理;7)將積壓問題推送到變更控制系統;8)將Helix QAC分析結果導入并集成到Klocwork SAC,以便在單個儀表板中查看和管理綜合分析結果。
Klocwork通過了國際權威的第三方機構TüV SüD針對多種行業標準的認證和鑒定,包括IEC 61508, ISO 26262, EN 50128, IEC 60880和 IEC 62304等,可以為用戶提供工具認證證書和安全手冊,無需用戶再自行對工具進行鑒定。Klocwork還支持對DO-178B/C適航標準的支持,并可以按DO-330標準提供工具的完整適航鑒定包。Klocwork的認證會隨著產品的版本迭代不斷地被更新,保證所有的用戶都能及時獲取到最新版本的認證報告。
支持的環境
Klocwork所支持的安裝平臺
Windows/Linux/Solaris的主機操作系統的主流版本
Klocwork所支持的C/C++編譯器系列
Analog Devices Blackfin and TigerSHARC | Microtec |
Archelon | Microware Ultra C for OS-9 |
ARM CC | Mono Headset SDK |
CADUL C for Intel 80X86 | Motorola DSP563 |
CEVA (NVIDIA) | Nintendo Cafe Platform |
Clang | Nvidia CUDA |
CodeWarrior Freescale S12 | NXP StarCore Freescale |
Compiler caching tools | Panasonic MN101E/ MN101L |
CodeWarrior Freescale S12 | Cosmic |
Paradigm | Embarcadero |
Plan 9 | Fujitsu FR |
QNX qcc | GNU |
Renesas | IAR Renesas R32C |
GNU | Renesas |
Green Hills | Rowley Crossworks |
Hexagon Tools | Sony Orbis Clang PS4 |
HI-CROSS+ Motorola HC16 | Sony SN Systems PS2, PS3 and PSVita |
HI-TECH C | Sun Studio |
Hitachi ch38 | Synopsys ARC MetaWare |
HiveCC | Target Chess |
IAR | Tasking |
IBM XL | Tensilica Xtensa |
ImageCraft AVR | TI ARP32 |
Intel iC-386 | TI msp430 |
Keil CA51, C166 and C251 | TI tms32 |
Marvell | TriMedia tmcc |
MetaWare | Watcom |
Metrowerks CodeWarrior | WinAVR |
Microchip MPLAB | Wind River Diab / GCC |
Microsoft Visual Studio | ZiLOG eZ80 |
RELATED RESOURCES
下載申請