Programmi di javastaticcheck.sf.net

Questo è un prototipo di Java Static Checker (JSC), uno strumento di analisi statica leggero che esamina il codice sorgente Java per le classi di errore tramite la categoria di errore. Lo strumento è orientato alla solidità