Please go to the GitHub page for more information
Free SLOC counts physical lines of code (SLOC) for many languages
GUI for finding duplicates in source files
Tool to detect and correct vulnerabilities in PHP web applications
A static source code analyser for Fortran 90 and C++
Kammerjäger is a debugging tool with integrated correctness proving.