On this page:
C/  C+  +
Java
C#
Go
Java  Script
Python
PHP
Scala
Custom Languages
6.0.1.6

Tools

C/C++

Cppcheck: http://sourceforge.net/apps/mediawiki/cppcheck/index.php?title=Main_Page

Valgrind: http://valgrind.org/

ThreadSanitizer: http://code.google.com/p/thread-sanitizer/

Sparse: https://sparse.wiki.kernel.org/index.php/Main_Page

Splint: http://www.splint.org/ (not maintained)

FlawFinder: http://www.dwheeler.com/flawfinder/

clang: http://clang-analyzer.llvm.org/, http://clang.llvm.org/docs/AddressSanitizer.html, etc

KLEE: http://ccadar.github.io/klee/

Frama-C: http://frama-c.com/

CBMC: http://www.cprover.org/cbmc/

Contract++: https://svn.boost.org/svn/boost/sandbox/contractpp/doc/html/index.html

Java

cofoja: http://code.google.com/p/cofoja/

FindBugs: http://findbugs.sourceforge.net/

VMLens: http://vmlens.com/

PMD: http://pmd.sourceforge.net/

Java Modeling Language: http://openjml.org/

C#

Code.Contracts: http://msdn.microsoft.com/en-us/library/dd264808%28v=vs.110%29.aspx

Go

Race Detector: http://blog.golang.org/race-detector

JavaScript

JSHint: http://jshint.com/

JSLint: http://www.jslint.com/ + AdSafe.

Python

PyContracts: http://andreacensi.github.io/contracts/

Covenant: http://covenant.readthedocs.org/en/latest/

PyChecker: http://pychecker.sourceforge.net/

Pylint: http://www.pylint.org/

Hypothesis: https://github.com/DRMacIver/hypothesis

PHP

RIPS: http://rips-scanner.sourceforge.net/

Scala

ScalaCheck: http://www.scalacheck.org/

Custom Languages

ACL2: http://www.cs.utexas.edu/~moore/acl2/

SPIN: http://spinroot.com/spin/whatispin.html

Alloy: http://alloy.mit.edu/alloy/