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

Static code analysis is a set of methods for analyzing software source code or object code in an effort to gain understanding of what the software does and establish certain correctness criteria. Schematically, there are several types of static analysis (which may be used in combination, even inside the same programming tool): - tools such as lint essentially look for constructs that "look dangerous" from an informal point of view; - formal methods consider the mathematical definition of the behaviors of programs, known as their semantics. Taken from Wikipedia.

More information
Checkstyle

Tool to help programmers write code that adheres to coding standards. Detects a variety of other coding problems. Supports the Sun Code Conventions, and is highly configurable. [Open source, LGPL v2.1, Apache License v2.0]
Coqua

Measures few Java code metrics, provides management and developer reports. Site includes screenshots and download option. Last stable release is from 2008. [GPL v3]
FindBugs

Static code analysis tool that analyses Java bytecode and detects a wide range of problems. Available as stand-alone application or as plug-in for common Java IDEs. Site includes documentation, download option, overview of implemented checks, and relevant links. [Free software, LGPL]
Hammurapi

Platform for code quality governance with focus on outsourced software development. Site includes documentation, architecture description, download option, sample reports and release notes. [Free for non-commercial use]
JavaChecker

A static analyzer of Java source code, which provide set of predefined checks (such as tracking open/close or finding unused methods) and more general framework for implementing analyzing of semantics model of software project. [Open source]
JLint

Checks code and finds bugs, inconsistencies, and synchronization problems by doing data flow analysis and building a lock graph. [Open Source, GPL]
Lint4j

A static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis. [Freeware]
PMD

Scans source code and looks for potential problems possible bugs, unused and suboptimal code, over-complicated expressions and duplicate code. [Open Source, BSD license]
UCDetector: Unnecessary Code Detector

Eclipse plug-in for identifying unused (dead) public Java classes, interfaces, methods and fields. Site includes documentation, download option, and FAQ section. [Eclipse Public License v1.0]
Checkstyle

Tool to help programmers write code that adheres to coding standards. Detects a variety of other coding problems. Supports the Sun Code Conventions, and is highly configurable. [Open source, LGPL v2.1, Apache License v2.0]
Coqua

Measures few Java code metrics, provides management and developer reports. Site includes screenshots and download option. Last stable release is from 2008. [GPL v3]
UCDetector: Unnecessary Code Detector

Eclipse plug-in for identifying unused (dead) public Java classes, interfaces, methods and fields. Site includes documentation, download option, and FAQ section. [Eclipse Public License v1.0]
FindBugs

Static code analysis tool that analyses Java bytecode and detects a wide range of problems. Available as stand-alone application or as plug-in for common Java IDEs. Site includes documentation, download option, overview of implemented checks, and relevant links. [Free software, LGPL]
Hammurapi

Platform for code quality governance with focus on outsourced software development. Site includes documentation, architecture description, download option, sample reports and release notes. [Free for non-commercial use]
JavaChecker

A static analyzer of Java source code, which provide set of predefined checks (such as tracking open/close or finding unused methods) and more general framework for implementing analyzing of semantics model of software project. [Open source]
JLint

Checks code and finds bugs, inconsistencies, and synchronization problems by doing data flow analysis and building a lock graph. [Open Source, GPL]
PMD

Scans source code and looks for potential problems possible bugs, unused and suboptimal code, over-complicated expressions and duplicate code. [Open Source, BSD license]
Lint4j

A static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis. [Freeware]

September 24, 2018 at 5:15:07 UTC

" Computers ... Static Checkers " search on:

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

查看英文原文

查看更多文章

公众号:银河系1号

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

(未经同意,请勿转载)