Klocwork 介绍.docxVIP

Klocwork - 源代码缺陷自动分析工具概述：Klocwork 软件是Klocwork 公司基于专利技术分析引擎开发的，综合应用了多种近年来最先进的静态分析技术，是出色的软件静态分析软件。Klocwork 产品与其它同类产品相比，具有很多突出的特征：Klocwork 支持的语言种类多，能够分析C、C++和Java 代码；能够发现的软件缺陷种类全面，既包括软件质量缺陷，又包括安全漏洞方面的缺陷，还可以分析对软件架构、编程规则的违反情况；软件分析功能全面，既能分析软件的缺陷，又能进行可视化的架构分析、优化；能够分析软件的各种度量；能够提供与多种主流IDE 开发环境的集成；能够分析超大型软件（上千万代码行）。主要功能：缺陷检测提供多角度的各种缺陷类型的分析。自动化的缺陷检测功能易于使用，定制灵活，具有图形化的构建和报表管理图形界面，拥有业界领先的消息过滤器，极具柔性的配置，和强大的学习调整知识库；Klocwork 能够分析C/C++和Java代码，生成代码问题报告，能够发现的缺陷类型举例。（详细参见附录）：C/C++缺陷类型样例Java 缺陷类型样例空指针释放效率错误（如：空的finalize 方法）内存管理问题（如：内存泄漏）可维护性问题（如：空的catch 从句）数组越界可靠性问题(如资源泄漏)未初始化数据使用编码风格问题（如：在条件中赋值）安全漏洞检测Klocwork 确信软件安全性是软件质量中一个重要的、并越来越受重视的方面。同样的，所有的Klocwork 安全漏洞分析是基于市场领先的缺陷检测能力，从原来的缺陷检测分离出来单独的安全漏洞检测和违反推荐的安全代码最佳实践的缺陷检测。能够检测到的安全漏洞类型举例（详细参见附录）C/C++安全漏洞分类Java安全漏洞分类访问控制缺陷拒绝服务缓冲区溢出注入缺陷（如：SQL注入、进程注入等）DNS欺骗未经验证的输入忽略返回值移动代码安全注入缺陷有漏洞的会话管理不安全的存储跨站点脚本未经验证的用户输入出错处理不当有漏洞的访问控制软件架构分析Klocwork 帮助组织为任何需要理解软件架构的项目进行准备工作，如：外包项目、改造利用一段老的代码、或者向已有系统添加新功能。利用Klocwork，架构师、管理人员和开发人员能够重新获得对他们软件和产品的架构理解，并在进行任何代码修改的时候进行功能强大的影响分析。当结合使用Klocwork 的缺陷和安全漏洞检测，它提供一个强大的功能集帮助理解在您软件架构异常和缺陷发生率的关联关系。架构分析可以进行代码结构可视化展示，显示已有应用系统的物理结构，应用系统中的依赖关系连同应用系统以及外部环境间的依赖关系。使用自动的流程图功能，从源代码分析得出程序的流程图，理解文件的处理流程，来帮助进行更加高效的编码。软件度量分析基于实际从软件源代码采集得到的信息，Klocwork 直接帮助执行官和开发经理理解、预测、和指导公司在软件安全和质量方面的成长。Klocwork 随产品发布100 多种关于文件、类、和函数/方法的代码度量，包括了从McCabe 复杂度、Halstead 程序度量、代码行数、继承数、循环数等各种基本度量。客户还可以根据自己的质量目标，任意组合这些基本度量进行运算生成复合度量。可定制的代码分析许多组织有自己独特的编码标准、安全策略或质量目标。经过扩展Klocwork产品，您可以将我们的分析引擎应用到您独特的、公司特色的问题上。另外，Klocwork 产品的可扩展性能够用于实现行业特定的编码标准，保证遵守最新的最佳实践。客户可使用Klocwork 文档中介绍的扩展性API 或者使用Klocwork上提供的专业服务编写适合您的检查器。开发人员IDE 集成Klocwork 与众不同的核心之一就是我们能够集成到您选定的开发环境中去。通过集成，在开发人员的桌面上即可自动进行代码的检查，您可创建更为优秀的软件并通过在开发过程早期捕捉到潜在的问题而降低开发成本。Klocwork能够与Eclipse、Wind River Workbench 2.3、Visual Studio 6/2002/2003/2005、IBMRational Application Developer for Websphere Software、Gvim、Emacs、VisualSlickEdit、Platform Builder、KDevelop、MetroWerks CodeWarrior、IntelliJ 等集成。工具带来的好处：软件开发人员－在桌面阶段消除软件缺陷和安全漏洞软件缺陷有时发生在开发拷贝的时候，或者在为复杂系统增强功能时因为疏忽而造成。无论什么情况，在代码进入到代码流（开发流）之前尽早自动的检测到问题，这将有助于提高代码的质量，在第一时间消灭所出现的缺陷。Kloc