SonarSource Static Analyzer for Java Code Quality and Security
Continuous inspection
A tool for static analysis to look for bugs in Java code
Libraries for Analysis, with frontends for Java, Android, and JS
Catch common Java mistakes as compile-time errors
Datalog variant for tool designers crafting analyses in Horn clauses
static code analysis tool for Java
Automatic correction of software bugs and grammar mistakes
A framework for automated architecture tests.
Code Difference report