プログラム javastaticcheck.sf.net

これは、Javaのソースコードを障害カテゴリを介してエラークラスの検査を行う軽量の静的分析ツールであるJava静的チェッカー(JSC)のプロトタイプです。 このツールは、完全性を考慮しながら、健全性とスケーラビリティを考慮しています。