開發者 javastaticcheck.sf.net

這是 Java 靜態檢查器 （JSC） 的原型，這是一種輕量級靜態分析工具，通過故障類別檢查 JAVA 原始程式碼的故障類。 該工具在考慮完整性的同時，以健全性和可擴充性為設計。