This SonarSource project is a code analyzer for Java projects to help developers produce Clean Code. Information about the analysis of Java features is available here.

Sonar Java symbolic execution plugin. Contribute to SonarSource/sonar-java-symbolic-execution development by creating an account on GitHub.