SonarSource Static Analyzer for Java Code Quality and Security
Continuous inspection
A tool for static analysis to look for bugs in Java code
Catch common Java mistakes as compile-time errors
Dscover bugs in your code without running it!
Libraries for Analysis, with frontends for Java, Android, and JS
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