当前位置:网站首页>Klocwork 代码静态分析工具
Klocwork 代码静态分析工具
2022-07-07 18:22:00 【麦禾信通】
“借助Klocwork,我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件,并满足客户的期望。”
— SCM系统工程经理
Klocwork 简介
Klocwork是针对C,C ++,C#和Java编程语言的最准确的代码分析工具之一。它是一款现代化的敏捷代码静态分析工具,可扩展到任何规模的项目,并在DevOps周期内有效运行。此外,它还通过了TÜV-SÜD的功能安全合规认证 ,包括IEC 61508,ISO 26262,IEC 62304和EN 50128。
Klocwork 主要功能
支持DevOps
我们认为,Klocwork工具的设计首先考虑了持续集成和持续交付,这使得将静态代码分析作为CI / CD管道的一部分变得更加容易。
●差异分析
使用来自Klocwork Server的系统上下文数据,可以仅分析已更改的文件,同时还提供差异分析结果,就好像对整个系统进行了分析一样。这为您提供了最短的分析时间。
●易于自动化
Klocwork具有通用的命令行界面,可以通过REST API访问Klocwork缺陷数据,并且所有输出格式都使用标准格式,例如XML,JSON和PDF。
●容器化构建
Klocwork可以在容器化和基于云的构建系统中运行,并支持按需提供机器实例。提供最大的灵活性和机会使用内部或外部云服务进行代码分析。
控制,协作和报告
Klocwork Portal仪表板是分析数据,趋势,指标的集中存储,可通过Web浏览器访问配置整个组织中代码库。
仪表板高度可定制,使您的开发人员,经理和其他利益相关者能够:
● 定义全局或具体项目的质量评价、安全目标和规则配置。
● 控制访问权限和批准工作流。
● 查看趋势和指标数据以获取项目质量和合规性。
● 生成合规性和安全性报告。
● 根据严重性,位置和生命周期对缺陷进行优先级排序。
● 将新问题与旧代码问题进行区分。
● 将积压问题推送到变更控制系统。
专为开发人员设计
通过将静态代码分析与您其余的开发工具无缝集成,Klocwork将缺陷检测左移,并提高开发人员将其作为培训和提高生产率的工具采用率。
●无需用户配置
Klocwork为数百个编译器和交叉编译器提供了开箱即用的支持,因此可自动构建集成。
●使用方便
流行IDE插件(包括Microsoft Visual Studio ,Eclipse,IntelliJ等)。
●连接桌面
本地代码的变更让正在使用连接桌面的插件能够在IDE中及时提供差异分析结果。
●详细的反馈和帮助
通过风险严重程度标记过程内部的缺陷和代码违规行为。对于每种缺陷和代码违规的情况,您将获得详细的原因信息,并提供丰富的上下文相关帮助和修改指南。这为我们的理解和学习提供了非常好的机会。
●自定义规则
图形化的自定义检查器创建工具可快速,轻松的使项目或组织实施特定规则,从而进一步丰富了学习机会。
架构分析
Klocwork还与架构可视化和执行工具(如Structure 101)集成在一起,以允许用户通过干净而正确的依赖关系进一步提高其代码库的整体质量和可维护性。
Klocwork 质量编码标准
使用Klocwork可以轻松遵守质量编码标准。您可以使用以下合规性分类法在整个代码库中实施编码标准。而且,您在诊断程序中会得到更少的误报和漏报。
Klocwork 应用领域
●航空航天与国防
航空航天,国防和军事组织每天都使用嵌入式软件。确保软件安全,可靠和可靠至关重要。这使开发人员承受开发无缺陷软件的压力。
大型代码库和复杂的系统使这成为一个挑战。严格的合规性要求使其更加困难。借助Klocwork ,机载系统开发人员可以轻松证明合规性并开发质量系统。
●能源技术
能源和公用事业产品开发团队需要确保功能安全合规性,符合行业法规以及减轻潜在的安全漏洞和编码错误。对于有效满足团队的需求而言,这可能是一个重大挑战。
借助Klocwork,能源和公用事业产品开发团队可以轻松遵守编码标准,识别潜在风险并具有对法规遵从性的了解。
●嵌入式开发
管理数字资产的增长对于有效设计和开发嵌入式系统至关重要。所有这些过程都必须在严格的合规性准则下进行。对于质量至关重要的行业,代码需要符合编码标准和行业要求。而且,Klocwork可以证明您的代码符合要求。
●医疗设备
嵌入医疗设备的软件质量可能意味着生与死之间的差异。因此,对设备安全性的审查越来越严格。
通过使用Klocwork ,您将能够满足不断变化的政府法规,并验证您的医疗设备是安全,可靠和高效的。
●汽车行业
汽车软件开发需要超过1亿行代码。而且,安装的嵌入式软件通常独立于汽车的其余部分进行开发。
因此,开发团队必须能够有效地应对一系列独特的挑战。使用Klocwork ,开发团队能够在项目上进行协作,并确保其代码高质量并符合法规要求。
Klocwork支持的功能安全标准
KlocworkSCA可实现行业功能安全标准和认证
IEC 61508(通用工业,国防)
ISO 26262(汽车)
EN 50128(铁路)
IEC 62304(医学)
DO-178B / C(航空航天)
通过ISO,IEC和EN合规认证
Klocwork经过独立认证,符合法规要求。
通过TüV-SüD认证
Klocwork已通过TüV-SüD认证 ,符合功能安全标准:
IEC 61508(通用行业)
ISO 26262(汽车)
IEC 62304(医学)
EN 50128(铁路)
更多了解C,C++,C#和Java版本的Klocwork:http://www.softtest.cn
边栏推荐
- 字符串中数据排序
- 力扣599. 两个列表的最小索引总和
- With st7008, the Bluetooth test is completely grasped
- Machine learning notes - explore object detection datasets using streamlit
- Gorilla official: sample code for golang to open websocket client
- Kubernetes -- detailed usage of kubectl command line tool
- 复杂因子计算优化案例:深度不平衡、买卖压力指标、波动率计算
- Yolov6:yolov6+win10--- train your own dataset
- Force buckle 459 Duplicate substring
- Force buckle 88 Merge two ordered arrays
猜你喜欢
Network principle (1) - overview of basic principles
Optimization cases of complex factor calculation: deep imbalance, buying and selling pressure index, volatility calculation
VMWare中虚拟机网络配置
力扣 2319. 判断矩阵是否是一个 X 矩阵
How to test CIS chip?
Mongodb由浅入深学习
Helix QAC 2020.2新版静态测试工具,最大限度扩展了标准合规性的覆盖范围
Force buckle 599 Minimum index sum of two lists
Dachang classic pointer written test questions
智能软件分析平台Embold
随机推荐
Opencv learning notes high dynamic range (HDR) imaging
Micro service remote debug, nocalhost + rainbow micro service development second bullet
Precautions for cjson memory leakage
[philosophy and practice] the way of program design
开发那些事儿:Go加C.free释放内存,编译报错是什么原因?
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
ASP. Net learning & ASP's one word
Deep learning model compression and acceleration technology (VII): mixed mode
MIT science and technology review article: AgI hype around Gato and other models may make people ignore the really important issues
ASP.NET学习& asp‘s one word
TS quick start - Generic
【论文阅读】MAPS: Multi-agent Reinforcement Learning-based Portfolio Management System
POJ 1742 coins (monotone queue solution) [suggestions collection]
Apifox 接口一体化管理新神器
机械臂速成小指南(十一):坐标系的标准命名
力扣 88.合并两个有序数组
一键部署Redis任意版本
Cantata9.0 | 全 新 功 能
Prometheus remote_write InfluxDB,unable to parse authentication credentials,authorization failed
Force buckle 1232 Dotted line