除常见的FindBugs之外,还有sonar,现称sonarqube:
使用教程如下
http://docs.sonarqube.org/display/SONAR/Documentation
您还没有登录,请您登录后再发表评论
PySonar2 是王垠开发的,针对 Python 的代码静态分析工具,现在这项技术被著名的代码搜索引擎 Sourcegraph 使用,这是 PySonar 的第二个版本,第一个版本的使用者是 Google 内部,作为 Python 上百万行高质量语义...
PC-Lint是C/C++软件代码静态分析工具,使用PC-Lint在代码走读和单元测试之前进行检查,可以提前发现程序隐藏错误,提高代码质量,节省测试时间。并提供编码规则检查,规范软件人员的编码行为。 因本软件好多人不易...
从代码静态分析的5个方面分析SpecChecker工具的特点,有助于从各个代码静态分析工具中选用适合自己的
PC-Lint是C/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升,但...
Mondrian是一款强大的PHP代码静态分析工具,它利用了图论这一数学领域的理论来解析和理解PHP代码的结构和关系。在软件开发过程中,静态代码分析是提升代码质量和可维护性的重要手段。Mondrian通过构建程序依赖图...
### 库博静态代码分析工具V4.3-用户操作手册知识点详解 #### 一、资源概述 **库博(CoBOT)静态代码分析工具**是一款专业的代码分析工具,其最新版本v4.3提供了全面而详尽的操作指导。这份手册不仅介绍了工具的...
PVS-Studio静态代码分析工具作为一种工具来检测代码中的缺陷和商业代码分析对比。越来越多的领域依赖计算机,代码的质量就成了关键。比如航天、国防、工业控制、金融等对安全性,稳定性要求很高的领域。PVS-Studio ...
对比项包括了厂家名称、所属国家、安装OS、检测引擎、架构、跨文件分析能力、检测器类型支持、规则定制支持能力、静态度量、运行缺陷检测能力、安全漏洞检测能力、支持的检测语言、误报率、漏报率、检测效率、检测...
为了确保代码的健壮性、可维护性和安全性,开发人员通常会采用多种方法来检查代码,其中一种高效的方法就是使用代码静态分析工具。本文将详细介绍PClint,一个专用于C/C++代码的静态检测工具。 PClint是由Gimpel ...
用于软件工程实验的报告 实现静态代码的分析 通过静态代码分析实验可以更加熟悉的掌握静态代码分析工具。
总之,`smck`作为一款用Swift编写、针对Swift的代码静态分析工具,对于提升Swift工程的代码质量和稳定性起到了重要的作用。通过理解和使用这样的工具,开发者能够更好地遵循最佳实践,编写出更健壮、更易于维护的...
pc lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++,PC-Lint 能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发布,而FlexeLint 运行于其它...
PC Lint9.0e破解版与中文使用说明
针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很...设计和实现了一个可扩展的源代码静态分析工具平台,并通过实验表明,相对于单个工具的检测结果而言,该平台明显降低了漏报率和误报率。
汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析...
**简介**:FindBugs是一款由马里兰大学开发的静态分析工具,它能够检测Java程序中的潜在缺陷。通过分析字节码,FindBugs可以识别出可能导致错误的行为。 **功能**: - **缺陷检测**:基于预定义的缺陷模式,检测...
本次实验主要涉及的知识点是使用cppcheck这款开源静态分析工具对C/C++代码进行分析,以查找代码中的潜在错误、安全漏洞和不符合编码规范的地方。 首先,cppcheck是一款强大的静态分析工具,它的主要功能是对源代码...
相关推荐
PySonar2 是王垠开发的,针对 Python 的代码静态分析工具,现在这项技术被著名的代码搜索引擎 Sourcegraph 使用,这是 PySonar 的第二个版本,第一个版本的使用者是 Google 内部,作为 Python 上百万行高质量语义...
PC-Lint是C/C++软件代码静态分析工具,使用PC-Lint在代码走读和单元测试之前进行检查,可以提前发现程序隐藏错误,提高代码质量,节省测试时间。并提供编码规则检查,规范软件人员的编码行为。 因本软件好多人不易...
从代码静态分析的5个方面分析SpecChecker工具的特点,有助于从各个代码静态分析工具中选用适合自己的
PC-Lint是C/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升,但...
Mondrian是一款强大的PHP代码静态分析工具,它利用了图论这一数学领域的理论来解析和理解PHP代码的结构和关系。在软件开发过程中,静态代码分析是提升代码质量和可维护性的重要手段。Mondrian通过构建程序依赖图...
### 库博静态代码分析工具V4.3-用户操作手册知识点详解 #### 一、资源概述 **库博(CoBOT)静态代码分析工具**是一款专业的代码分析工具,其最新版本v4.3提供了全面而详尽的操作指导。这份手册不仅介绍了工具的...
PVS-Studio静态代码分析工具作为一种工具来检测代码中的缺陷和商业代码分析对比。越来越多的领域依赖计算机,代码的质量就成了关键。比如航天、国防、工业控制、金融等对安全性,稳定性要求很高的领域。PVS-Studio ...
对比项包括了厂家名称、所属国家、安装OS、检测引擎、架构、跨文件分析能力、检测器类型支持、规则定制支持能力、静态度量、运行缺陷检测能力、安全漏洞检测能力、支持的检测语言、误报率、漏报率、检测效率、检测...
为了确保代码的健壮性、可维护性和安全性,开发人员通常会采用多种方法来检查代码,其中一种高效的方法就是使用代码静态分析工具。本文将详细介绍PClint,一个专用于C/C++代码的静态检测工具。 PClint是由Gimpel ...
用于软件工程实验的报告 实现静态代码的分析 通过静态代码分析实验可以更加熟悉的掌握静态代码分析工具。
总之,`smck`作为一款用Swift编写、针对Swift的代码静态分析工具,对于提升Swift工程的代码质量和稳定性起到了重要的作用。通过理解和使用这样的工具,开发者能够更好地遵循最佳实践,编写出更健壮、更易于维护的...
pc lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++,PC-Lint 能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发布,而FlexeLint 运行于其它...
PC Lint9.0e破解版与中文使用说明
针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很...设计和实现了一个可扩展的源代码静态分析工具平台,并通过实验表明,相对于单个工具的检测结果而言,该平台明显降低了漏报率和误报率。
汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析工具源代码合集.zip汇编语言和静态分析...
**简介**:FindBugs是一款由马里兰大学开发的静态分析工具,它能够检测Java程序中的潜在缺陷。通过分析字节码,FindBugs可以识别出可能导致错误的行为。 **功能**: - **缺陷检测**:基于预定义的缺陷模式,检测...
本次实验主要涉及的知识点是使用cppcheck这款开源静态分析工具对C/C++代码进行分析,以查找代码中的潜在错误、安全漏洞和不符合编码规范的地方。 首先,cppcheck是一款强大的静态分析工具,它的主要功能是对源代码...