SonarSource Static Analyzer for Java Code Quality and Security
A tool for static analysis to look for bugs in Java code
Continuous inspection
Dscover bugs in your code without running it!
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
Code Difference report