-
产品简介
Klocwork是一款广泛使用的静态代码分析工具,用于发现和修复软件代码中的缺陷、潜在漏洞和安全问题。它可以在早期阶段自动化地检测和报告代码中的错误,从而帮助开发团队提高代码质量、可靠性和安全性。
-
产品功能
静态代码分析:Klocwork使用静态分析技术来检查代码,并识别常见的缺陷和安全漏洞,如内存泄漏、空指针引用、溢出、未定义行为等。它能够对复杂的代码路径进行全面的分析,准确地发现潜在问题。
深度数据流分析:Klocwork采用深度数据流分析技术,可以追踪代码中变量的使用和赋值情况,进一步增强分析的准确性。它能够检测数据流错误、未初始化变量、类型不一致等问题。
检查规则和可配置性:Klocwork提供了丰富的检查规则库,覆盖了广泛的编码规范、最佳实践和安全标准。开发人员可以根据自己的需求定制检查规则,并设置不同的严重程度和警告级别。
实时反馈和报告:Klocwork能够在集成开发环境(IDE)中实时提供反馈,帮助开发人员及早发现和修复问题。它还生成详细的报告,包括问题的描述、位置和推荐的解决方案,以便团队进行跟踪和处理。
支持多种编程语言:Klocwork支持多种主流编程语言,如C、C++、Java、C#、Objective-C等,可以适用于不同的开发项目和团队
-
文件目录
Kwout2.6:
编译路径生成脚本,用来加载被测代码,生成编译路径,供klocwork载入分析。
Klocwork10绿色版.rar:
分析软件压缩文件,不用安装,解压缩即可用。
Readme.txt:
提示文档,需要本地计算机设置的内容。
-
安装过程
a.解压缩【Klocwork10绿色版.rar】到指定目录下,配置环境变量如下:
b.修改【kwout2.6】中.bat文件,将相关路径设置为解压缩的路径。
-
使用过程
-
创建工程目录
复制被测代码到指定路径下。
-
启动服务
在如下路径下,输入命令kwservice -r projects_root start license
再输入命令kwservice -r projects_root start database
再输入命令kwservice -r projects_root start klocwork
-
生成.out文件
双击【kwout2.6】中.bat文件,弹出界面,点选【c++】、【c】选项,后点击【add】
在弹出的对话框中,操作选择工程创建的路径:
点击【打开】后,点击【create】,输入.out文件名并选择.out文件生成路径,点击【保存】
生成.out文件
-
生成项目准备文件
在工程路径下输入提示命令:kwcheck create
生成对应准备文件:
-
载入.out文件
在工程路径下输入提示命令:kwcheck import 20230801.out
-
打开kwcheck软件交互界面,进行分析
在工程路径下输入提示命令:kwgcheck,打开界面
点击 选择代码,命名工程名,并启动分析
待分析结束,在界面下方得到问题列表