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
Datalog variant for tool designers crafting analyses in Horn clauses
Libraries for Analysis, with frontends for Java, Android, and JS
static code analysis tool for Java
Automatic correction of software bugs and grammar mistakes
A framework for automated architecture tests.
Code Difference report