Directory of Static Checkers Resources

Home > Computers > Programming > Languages > Java > Development Tools > Performance and Testing > Static Checkers

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.

Resources in This Category

• Barat - A Compiler Front-End for Java

  http://sourceforge.net/projects/barat/
  Supports static analysis of Java programs. It parses source and byte-code, and performs name and type analysis on demand. [Open Source, GPL]

• Checkstyle

  http://checkstyle.sourceforge.net/
  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]

• ConTest

  https://www.research.ibm.com/haifa/projects/verification/contest/
  Tool by IBM for testing multi-threaded Java applications. Site includes documentation, trial download, and FAQ section.

• Coqua

  http://sourceforge.net/projects/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

  http://findbugs.sourceforge.net/
  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

  http://www.hammurapi.biz/hammurapi-biz/ef/xmenu/hammurapi-group/products/hammurapi/index.html
  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

  http://www.gradsoft.ua/products/javachecker_eng.html
  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

  http://jlint.sourceforge.net/
  Checks code and finds bugs, inconsistencies, and synchronization problems by doing data flow analysis and building a lock graph. [Open Source, GPL]

• Lint4j

  http://www.jutils.com/
  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

  http://pmd.sourceforge.net/
  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

  http://www.ucdetector.org/
  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]

Related Categories

• Home > Computers > Programming > Languages > Java > Coding Standards

 

Home > Computers > Programming > Languages > Java > Development Tools > Performance and Testing > Static Checkers

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us