Программы javastaticcheck.sf.net

Это прототип Java Static Checker (JSC), легкого инструмента статического анализа, который изучает исходный код Java для классов неисправностей через категорию неисправностей. Инструмент ориентирован на надежность и масштабир