klocwork10安装及使用

  1. 产品简介

Klocwork是一款广泛使用的静态代码分析工具,用于发现和修复软件代码中的缺陷、潜在漏洞和安全问题。它可以在早期阶段自动化地检测和报告代码中的错误,从而帮助开发团队提高代码质量、可靠性和安全性。

  1. 产品功能

静态代码分析:Klocwork使用静态分析技术来检查代码,并识别常见的缺陷和安全漏洞,如内存泄漏、空指针引用、溢出、未定义行为等。它能够对复杂的代码路径进行全面的分析,准确地发现潜在问题。

深度数据流分析:Klocwork采用深度数据流分析技术,可以追踪代码中变量的使用和赋值情况,进一步增强分析的准确性。它能够检测数据流错误、未初始化变量、类型不一致等问题。

检查规则和可配置性:Klocwork提供了丰富的检查规则库,覆盖了广泛的编码规范、最佳实践和安全标准。开发人员可以根据自己的需求定制检查规则,并设置不同的严重程度和警告级别。

实时反馈和报告:Klocwork能够在集成开发环境(IDE)中实时提供反馈,帮助开发人员及早发现和修复问题。它还生成详细的报告,包括问题的描述、位置和推荐的解决方案,以便团队进行跟踪和处理。

支持多种编程语言:Klocwork支持多种主流编程语言,如C、C++、Java、C#、Objective-C等,可以适用于不同的开发项目和团队

  1. 文件目录

 

Kwout2.6:

编译路径生成脚本,用来加载被测代码,生成编译路径,供klocwork载入分析。

Klocwork10绿色版.rar:

分析软件压缩文件,不用安装,解压缩即可用。

Readme.txt:

提示文档,需要本地计算机设置的内容。

  1. 安装过程

a.解压缩【Klocwork10绿色版.rar】到指定目录下,配置环境变量如下:

 

 b.修改【kwout2.6】中.bat文件,将相关路径设置为解压缩的路径。

 

  1. 使用过程

  1. 创建工程目录

复制被测代码到指定路径下。

 

  1. 启动服务

在如下路径下,输入命令kwservice -r projects_root start license

 

再输入命令kwservice -r projects_root start database

 

再输入命令kwservice -r projects_root start klocwork

 

  1. 生成.out文件

双击【kwout2.6】中.bat文件,弹出界面,点选【c++】、【c】选项,后点击【add】

 

在弹出的对话框中,操作选择工程创建的路径:

 

点击【打开】后,点击【create】,输入.out文件名并选择.out文件生成路径,点击【保存】

 

生成.out文件

 

  1. 生成项目准备文件

在工程路径下输入提示命令:kwcheck create

生成对应准备文件:

 

 

  1. 载入.out文件

在工程路径下输入提示命令:kwcheck import 20230801.out

 

  1. 打开kwcheck软件交互界面,进行分析

在工程路径下输入提示命令:kwgcheck,打开界面

 

点击 选择代码,命名工程名,并启动分析

 

待分析结束,在界面下方得到问题列表

 

Klocwork 介绍 Klocwork - 源代码缺陷自动分析工具概述:Klocwork 软件是 Klocwork 公司基于专利技术分析引擎开发的,综合应用了多种近年来 最先进的静态分析技术,是出色的软件静态分析软件。Klocwork 产品与其它同类产品相比, 具有很多突出的特征:Klocwork 支持的语言种类多,能够分析 C、C++和 Java 代码;能够发 现的软件缺陷种类全面,既包括软件质量缺陷,又包括安全漏洞方面的缺陷,还可以分析对软 件架构、编程规则的违反情况;软件分析功能全面,既能分析软件的缺陷,又能进行可视化的 架构分析、优化;能够分析软件的各种度量;能够提供与多种主流 IDE 开发环境的集成;能 够分析超大型软件(上千万代码行)。主要功能: 缺陷检测提供多角度的各种缺陷类型的分析。自动化的缺陷检测功能易于使用,定制灵活,具有图 形化的构建和报表管理图形界面,拥有业界领先的消息过滤器,极具柔性的配置,和强大的学 习调整知识库;Klocwork 能够分析 C/C++和 Java 代码,生成代码问题报告,能够发现的缺陷 类型举例。(详细参见附录): C/C++缺陷类型样例 空指针释放 内存管理问题(如:内存泄漏) 数组越界 未初始化数据使用 编码风格问题(如:在条件中赋值) Java 缺陷类型样例 效率错误(如:空的 finalize 方法) 可维护性问题(如:空的 catch 从句) 可靠性问题(如资源泄漏) 安全漏洞检测Klocwork 确信软件安全性是软件质量中一个重要的、并越来越受重视的方面。同样的, 所有的 Klocwork 安全漏洞分析是基于市场领先的缺陷检测能力,从原来的缺陷检测分离出来 单独的安全漏洞检测和违反推荐的安全代码最佳实践的缺陷检测。 能够检测到的安全漏洞类型 举例(详细参见附录) C/C++安全漏洞分类 访问控制缺陷 缓冲区溢出 DNS 欺骗 忽略返回值 注入缺陷 不安全的存储 未经验证的用户输入 Java 安全漏洞分类 拒绝服务 注入缺陷(如:SQL 注入、进程注入等) 未经验证的输入 移动代码安全 有漏洞的会话管理 跨站点脚本 出错处理不当
评论 12
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值