Programmes par javastaticcheck.sf.net

Il s’agit d’un prototype du Java Static Checker (JSC), un outil d’analyse statique léger qui examine le code source Java pour les classes de défaut via la catégorie de défaut. L’outil est orienté vers la solidité et l’évolut