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
More information
Related categories 1
Sites 9
Supports static analysis of Java programs. It parses source and byte-code, and performs name and type analysis on demand. [Open Source, GPL]
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]
Measures few Java code metrics, provides management and developer reports. Site includes screenshots and download option. Last stable release is from 2008. [GPL v3]
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]
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]
Checks code and finds bugs, inconsistencies, and synchronization problems by doing data flow analysis and building a lock graph. [Open Source, GPL]
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]
Scans source code and looks for potential problems possible bugs, unused and suboptimal code, over-complicated expressions and duplicate code. [Open Source, BSD license]
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]
Supports static analysis of Java programs. It parses source and byte-code, and performs name and type analysis on demand. [Open Source, GPL]
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]
Measures few Java code metrics, provides management and developer reports. Site includes screenshots and download option. Last stable release is from 2008. [GPL v3]
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]
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]
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]
Scans source code and looks for potential problems possible bugs, unused and suboptimal code, over-complicated expressions and duplicate code. [Open Source, BSD license]
Checks code and finds bugs, inconsistencies, and synchronization problems by doing data flow analysis and building a lock graph. [Open Source, GPL]
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]
Last update:
September 2, 2020 at 9:45:04 UTC
Check out
Recreation: Outdoors: Camping: Campgrounds: Europe: Croatia
- Recently edited by merlin1
- Recently edited by merlin1