D

data context

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