A

analyser

Java-Code-Analyzer - это фреймворк для выполнения контекстно-чувствительного межпроцедурного анализа кода.