A tool for linting and static analysis of Lua code
A typeface designed for source code
Static code analysis to find violations in a dependency graph
Tool for code duplication detection in QtCreator projects.
Benchmark code quality and measure Technical Debt of projects in Sonar
A program to check source code for mispelings...
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes