开发者 javastaticcheck.sf.net

这是 Java 静态检查器 （JSC） 的原型，这是一种轻量级静态分析工具，通过故障类别检查 Java 源代码的故障类。 该工具在考虑完整性的同时，以健全性和可扩展性为设计。