-
ꁸ 回到頂部
-
ꂅ 167 1086 9068
-
ꁗ QQ客服
-
ꀥ 微信客服
C/C++靜態缺陷檢測工具
SpecChecker
SpecChecker是一款利用程序靜態分析技術對代碼可信度保障提供支持的,集多領域編碼規則檢查、缺陷漏洞檢測、代碼度量分析功能于一身的,易用高效的靜態分析工具。
工具優勢
核心功能
編碼標準和典型故障檢查
精準、高效的執行標準檢查,問題檢出率高達95%以上,可以多人協同結果審查。
運行時錯誤檢查
通過使用跨函數和全系統的錯誤分析技術,能夠支持如空指針、未初始化變量、數組越界、除零錯、整數溢出等22項運行時錯誤檢測。
中斷數據競爭檢測
采用跨函數、跨中斷的抽象解釋技術進行高效、精確的并發語義分析,將真正有害的數據訪問沖突用可視化的缺陷場景視圖報告給用戶。
代碼度量分析
包含McCabe圈復雜度、基本圈復雜度、函數個數、LCSAJ路徑度量、扇入/扇出、循環深度、代碼行注釋比例、可執行代碼行數等50項常用指標分析。
代碼結構可視化
采用最優化的圖形布局引擎,實現異常復雜代碼架構的清晰展示,便于用戶進行快速的代碼審查和理解。
環境支持
序號 | 操作系統 |
1 | 中標/銀河麒麟操作系統4.0,5.0及以上 |
2 | VxWorks5.X、Vxorks6.X、VxWorks7.0 |
3 | 道操作系統 |
4 | ARM-linux |
5 | 龍芯-vxworks |
6 | Windows操作系統(win7/XP 64位/32位 ) |
7 | 翼輝操作系統 |
8 | 天脈嵌入式實時操作系統 |
序號 | 編譯環境 |
1 | CCS3.3、CCS5.x、CCS6.x、CCS7.x |
2 | 神州嵌入式軟件集成開發環境、GNU工具鏈 |
3 | 8051- KEIL |
4 | ARM-KEIL/IAR/ GNU |
5 | Workbench 3.x |
6 | ARM Developer Suite 集成開發環境 |
7 | GCC 4.9及以上版本 |
8 | QT4.8.6及以上 |
9 | Keil v4及以上 |
10 | Tornado 2.0/2.2 |
11 | 龍芯-gnu |
12 | 翼輝集成開發環境RealEvo |
編碼標準
競品對比
序號 |
特性 |
SpecChecker |
國外T工具 |
國外H工具 |
1 |
編碼標準符合性檢查 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等規則集,此外支持自定義規則集 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等規則集,但是其中8114、5369、CMSE等規則是通過映射實現,檢查準確度較低 |
支持MISRAC 2004, CMSE,GJB5369,GJB8114,CERT C,MISRAC++ 2008,MISRAC 2012等規則集,但是其中8114、5369、CMSE等規則是通過映射實現,檢查準確度較低 |
2 |
編譯平臺支持 |
支持,不需任何配置 |
支持,需要額外配置 |
支持,需要額外配置 |
3 |
共享變量和數據競爭分析 |
支持 |
不支持 |
不支持 |
4 |
運行時錯誤檢測 |
支持 |
支持 |
不支持 |
5 |
典型故障模式檢查 |
內置航天飛行器軟件檢測站嵌入式軟件典型故障模式215項檢查項 |
不支持 |
不支持 |
6 |
自定義規則集配置 |
支持 |
支持 |
支持 |
7 |
代碼結構分析與可視化 |
支持 |
支持 |
支持 |
8 |
代碼度量指標分析 |
支持 |
支持 |
支持 |
9 |
定制中文測試報告 |
支持 |
支持 |
不支持中文報告,僅支持HTML格式 |
10 |
售后服務 |
本地研發,技術支持響應快 |
國內代理,國外研發,技術支持響應慢 |
國內代理,國外研發,技術支持響應慢 |