A JVM-based static analyzer