klockwork介绍.pdfVIP

Klocwork 软件静态分析解决方案 目 录 1. Klocwork 简介1 1.1. Klocwork 功能简介1 1.1.1. 缺陷检测1 1.1.2. 安全漏洞检测1 1.1.3. 软件架构分析2 1.1.4. 软件度量分析3 1.1.5. 可定制的代码分析4 1.1.6. 开发人员IDE集成4 1.2. Klocwork架构4 2. Klocwork静态分析工具与软件开发进行过程集成6 2.1. 软件静态分析技术是降低缺陷管理成本的首选6 2.2. 软件静态分析技术的发展6 2.2.1. 早期的软件静态分析7 2.2.2. 新一代软件静态分析技术8 2.3. Klocwork软件静态分析原理9 2.3.1. Klocwork静态分析技术原理9 2.3.2. Klocwork构建过程12 2.3.3. 工作原理13 2.4. 在软件开发过程中使用Klocwork16 2.5. 使用Klocwork的团队角色17 2.5.1. 软件开发人员－在桌面阶段消除软件缺陷和安全漏洞17 2.5.2. 软件开发经理－在提交到QA之前获取您软件质量的可视化和控制17 2.5.3. 软件架构师－理解和优化架构19 2.5.4. 安全经理或审查人员－在被利用之前，防止安全漏洞发生19 3. 部署20 1. Klocwork 简介 Klocwork 公司是软件静态分析领域技术和市场领先的厂商，全球拥有200 多个客户， 其中许多是全球财富500 强中的公司。 Klocwork 软件是Klocwork 公司基于专利技术分析引擎开发的，综合应用了多种近年来 最先进的静态分析技术，是出色的软件静态分析软件。Klocwork 产品与其它同类产品相比， 具有很多突出的特征：Klocwork 支持的语言种类多，能够分析C、C++和Java 代码；能够 发现的软件缺陷种类全面，既包括软件质量缺陷，又包括安全漏洞方面的缺陷，还可以分析 对软件架构、编程规则的违反情况；软件分析功能全面，既能分析软件的缺陷，又能进行可 视化的架构分析、优化；能够分析软件的各种度量；能够提供与多种主流 IDE 开发环境的 集成；能够分析超大型软件（上千万代码行）。 1.1. Klocwork 功能简介 Klocwork 功能包括： 缺陷检测 安全漏洞检测 软件架构分析 软件度量分析 可定制的代码分析 开发人员IDE 集成 1.1.1. 缺陷检测 提供多角度的各种缺陷类型的分析。 自动化的缺陷检测功能易于使用，定制灵活，具有图形化的构建和报表管理图形界面， 拥有业界领先的消息过滤器，极具柔性的配置，和强大的学习调整知识库； Klocwork 能够分析C/C++和Java 代码，生成代码问题报告，能够发现的缺陷类型举例 （详细参见附录）： C/C++缺陷类型样例 Java 缺陷类型样例 空指针释放 效率错误（如：空的finalize 方法） 内存管理问题（如：内存泄漏） 可维护性问题（如：空的catch 从句） 数组越界 可靠性问题 (如资源泄漏) 未初始