当前位置:网站首页>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
边栏推荐
- 【论文阅读】MAPS: Multi-agent Reinforcement Learning-based Portfolio Management System
- OneSpin | 解决IC设计中的硬件木马和安全信任问题
- How C language determines whether it is a 32-bit system or a 64 bit system
- ERROR: 1064 (42000): You have an error in your SQL syntax; check the manual that corresponds to your
- [solution] package 'XXXX' is not in goroot
- 目前股票开户安全吗?可以直接网上开户吗。
- 让这个CRMEB单商户微信商城系统火起来,太好用了!
- [award publicity] issue 22 publicity of the award list in June 2022: Community star selection | Newcomer Award | blog synchronization | recommendation Award
- BI的边界:BI不适合做什么?主数据、MarTech?该如何扩展?
- When easygbs cascades, how to solve the streaming failure and screen jam caused by the restart of the superior platform?
猜你喜欢
随机推荐
Spark 判断DF为空
Cuda版本不一致,编译apex报错
备份 TiDB 集群到持久卷
Oracle 存儲過程之遍曆
Mongodb learn from simple to deep
H3C S7000/S7500E/10500系列堆叠后BFD检测配置方法
Kubernetes -- detailed usage of kubectl command line tool
How C language determines whether it is a 32-bit system or a 64 bit system
ISO 26262 - 基于需求测试以外的考虑因素
About cv2 dnn. Readnetfromonnx (path) reports error during processing node with 3 inputs and 1 outputs [exclusive release]
力扣 989. 数组形式的整数加法
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
CodeSonar网络研讨会
一. 基础概念
Opencv学习笔记 高动态范围 (HDR) 成像
Force buckle 674 Longest continuous increasing sequence
OneSpin 360 DV新版发布,刷新FPGA形式化验证功能体验
Force buckle 599 Minimum index sum of two lists
Force buckle 2315 Statistical asterisk
Read PG in data warehouse in one article_ stat