Sonar Java symbolic execution plugin - View it on GitHub