Programas por javastaticcheck.sf.net

Este es un prototipo del Java Static Checker (JSC), una herramienta de análisis estático ligero que examina el código fuente Java para las clases de falla a través de la categoría de fallas. La herramienta está orientada a l