SonarSource Static Analyzer for Java Code Quality and Security
State of the art mutation testing system for the JVM
Java byte code compatibility analyser
A Java-based cross-platform build system.
Optimized version of MVP, using annotation generics to simplify code
Eclipse Plugin to find unused Java code
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
Tool to detect and correct vulnerabilities in PHP web applications
Bit level lambda continuations and nothing else - Queue automata
TibCheck - simple and "dirty" validation tool for Tibco BW Projects
Quality-Check is a small Java library for basic runtime checks of vars