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