Tool to detect and correct vulnerabilities in PHP web applications
A static source code analyser for Fortran 90 and C++
A Java-written extractor for all your Thymeleaf localization strings
Search TODO, FIXME and similar comments in project files.
Sonar plugin to analyze Broker ESQL-code
XJML 1.0 is a platform for Verification and Validation of Java classes