中英文模式阅读
中文模式阅读
英文模式阅读


静态代码分析是一组用于分析软件源代码或目标代码的方法,以便了解软件的功能并建立某些正确性标准。原理上,有几种类型的静态分析(可以在同一个编程工具中组合使用): - 像lint这样的工具基本上从非正式的角度寻找"看起来很危险"的结构; - 形式方法考虑程序行为的数学定义,称为语义。取自维基百科。

More information
Checkstyle


帮助程序员编写符合编码标准的代码的工具。检测各种其他编码问题。支持Sun代码约定,并且具有高度可配置性。 [开源,LGPL v2.1,Apache License v2.0]

Coqua


测量少量Java代码度量标准,提供管理和开发人员报告。网站包括截图和下载选项。最后稳定版本是从2008年开始的。[GPL v3]

FindBugs


静态代码分析工具,用于分析Java字节码并检测各种问题。可作为独立应用程序或作为常见Java IDE的插件使用。站点包括文档,下载选项,已实施检查的概述以及相关链接。 [免费软件,LGPL]

Hammurapi


代码质量治理平台,专注于外包软件开发。站点包括文档,体系结构描述,下载选项,示例报告和发行说明。 [免费用于非商业用途]

JavaChecker


一种Java源代码的静态分析器,提供一组预定义的检查(如跟踪打开/关闭或查找未使用的方法)和更一般的框架,用于实现软件项目语义模型的分析。 [开源]

JLint


通过执行数据流分析和构建锁定图来检查代码并发现错误,不一致和同步问题。 [开源,GPL]

Lint4j


一种静态Java源代码分析器,可检测锁定和线程问题,性能和可伸缩性问题,并通过执行类型,数据流和锁图分析来检查复杂的合同(如Java序列化)。 [软件]

PMD


扫描源代码并查找潜在问题可能的错误,未使用的和次优的代码,过于复杂的表达式和重复的代码。 [开源,BSD许可]

UCDetector: Unnecessary Code Detector


Eclipse插件,用于标识未使用的(死的)公共Java类,接口,方法和字段。网站包括文档,下载选项和常见问题解答部分。 [Eclipse Public License v1.0]

Checkstyle


帮助程序员编写符合编码标准的代码的工具。检测各种其他编码问题。支持Sun代码约定,并且具有高度可配置性。 [开源,LGPL v2.1,Apache License v2.0]

Coqua


测量少量Java代码度量标准,提供管理和开发人员报告。网站包括截图和下载选项。最后稳定版本是从2008年开始的。[GPL v3]

UCDetector: Unnecessary Code Detector


Eclipse插件,用于标识未使用的(死的)公共Java类,接口,方法和字段。网站包括文档,下载选项和常见问题解答部分。 [Eclipse Public License v1.0]

FindBugs


静态代码分析工具,用于分析Java字节码并检测各种问题。可作为独立应用程序或作为常见Java IDE的插件使用。站点包括文档,下载选项,已实施检查的概述以及相关链接。 [免费软件,LGPL]

Hammurapi


代码质量治理平台,专注于外包软件开发。站点包括文档,体系结构描述,下载选项,示例报告和发行说明。 [免费用于非商业用途]

JavaChecker


一种Java源代码的静态分析器,提供一组预定义的检查(如跟踪打开/关闭或查找未使用的方法)和更一般的框架,用于实现软件项目语义模型的分析。 [开源]

JLint


通过执行数据流分析和构建锁定图来检查代码并发现错误,不一致和同步问题。 [开源,GPL]

PMD


扫描源代码并查找潜在问题可能的错误,未使用的和次优的代码,过于复杂的表达式和重复的代码。 [开源,BSD许可]

Lint4j


一种静态Java源代码分析器,可检测锁定和线程问题,性能和可伸缩性问题,并通过执行类型,数据流和锁图分析来检查复杂的合同(如Java序列化)。 [软件]


2018年9月24日5:15:07 UTC


" Computers ... Static Checkers
" search on:

中英文模式阅读
中文模式阅读
英文模式阅读

查看英文原文

查看更多文章


公众号:银河系1号


联系邮箱:public@space-explore.com


(未经同意,请勿转载)