SonarSource Static Analyzer for Java Code Quality and Security
Libraries for Analysis, with frontends for Java, Android, and JS
A tool for static analysis to look for bugs in Java code
Continuous inspection
Catch common Java mistakes as compile-time errors
It's not just a linter that annoys you!
Doctrine extensions for PHPStan
Datalog variant for tool designers crafting analyses in Horn clauses
Dscover bugs in your code without running it!
PHPMD is a spin-off project of PHP Depend
static code analysis tool for Java
Static code analysis for Freepascal
Static code analysis to find violations in a dependency graph
Automatic correction of software bugs and grammar mistakes
A framework for automated architecture tests.
A scripting language for industrial software
Code Difference report
Automation unit testing tool for C & C++ on Linux platform